http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings
International Conference on Formal and Applied Practical Reasoning (1996 : Bonn, Germany)
1 online resource (xv, 719 pages) : illustrations
"This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 revised full papers included in the book together with eight posters were carefully selected for presentation at the conference. The book addresses current aspects of the highly interdisciplinary area of practical reasoning in artificial intelligence, philosophy, psychology, linguistics, software engineering, intelligent systems, and industrial applications. Among the topics addressed are user modeling, belief, legal reasoning, argumentation, dialogue logic, default reasoning, analogy, metareasoning, temporal and procedural reasoning, and many others."--PUBLISHER'S WEBSITE.
Integrating Statistical Audit Evidence with Belief Function Theory / Carine Van der Acker -- A Comparative Survey of Default Logic Variants / Grigoris Antoniou -- Modal Logics with Relative Accessibility Relations / Philippe Balbiani -- Geometrical Structures and Modal Logic / Philippe Balbiani, Luis Farinas del Cerro, Tinko Tinchev and Dimiter Vakarelov -- A Unified Framework for Hypothetical and Practical Reasoning (1) -- Theoretical Foundations / Subrata Das, John Fox and P. Krause -- A Unified Framework for Hypothetical and Practical Reasoning (2) -- Lessons from Medical Applications / John Fox and Subrata Das -- General Domain Circumscription and its First-Order Reduction / Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas -- Reasoning about Rational, but not Logically Omniscient Agents / Ho Ngoc Duc -- Specification of Nonmonotonic Reasoning / Joeri Engelfriet and Jan Treur.
Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).
Includes bibliographical references and index.
Lecture notes in computer science ; 1085
Lecture notes in artificial intelligence