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 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.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
action agent algorithm analogical reasoning analogy argumentation application approach argumentation theory Artificial Intelligence assumptions atomic autoepistemic logic axioms Belief Revision belief set operator binary relation causal classical cofinite commitment stores complete Computer concept conclusion consider consistent constraints construction context database decision deduction Default Logic default theory defeasible reasoning defeated defined Definition denote discussion domain dynamic logic epistemic evaluation example extension fact fallacies finite first-order formal formula frame framework function given goal inference informal logic inheritance instance interpretation knowledge labels language Lemma logic programming mapping method modal logic modal operator node normative notion paper path possible world predicate problem procedure proof properties propositional propositional logic query rational relation relevant represent representation result satisfies semantics SemNet situation sophistical refutations specific structure symbols temporal logic Theorem true update user model valid variable