Practical reasoning
Subtitle: International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 1996 : proceedings
By: Dov M. Gabbay, Hans Jürgen Ohlbach (eds.).
Contributors: Gabbay, Dov M., 1945-; Ohlbach, Hans Jürgen.
Series: Lecture notes in computer science -- 1085
Publisher: Springer
Published: 1996
Place of publication: Berlin; London
Language: eng
Number of pages: 719
Subjects: Automatic theorem proving -- Congresses.; Reasoning -- Congresses.; Artificial intelligence -- Congresses.
Description: "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.
Notes: Also known as FAPR'96.