Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /

"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...

Full description

Bibliographic Details
Corporate Authors: International Conference on Formal and Applied Practical Reasoning Bonn, Germany, SpringerLink (Online service)
Other Authors: Gabbay, Dov M., 1945-, Ohlbach, Hans Jürgen
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1996]
Series:Lecture notes in computer science ; 1085.
Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:
Online Access:Connect to the full text of this electronic book
Description
Summary:"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.
Item Description:Electronic resource.
Physical Description:1 online resource (xv, 719 pages) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:3540613137 (alk. paper)
9783540613138 (alk. paper)