Practical Reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June (3-7), 1996. Proceedings. 1st ed. 1996
- 種類:
- 電子ブック
- 責任表示:
- edited by Dov M. Gabbay, Hans Jürgen Ohlbach
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1996
- 著者名:
- シリーズ名:
- Lecture Notes in Artificial Intelligence ; 1085
- ISBN:
- 9783540684541 [3540684549]
- 注記:
- Integrating statistical audit evidence with belief function theory -- A comparative survey of default logic variants -- Modal logics with relative accessibility relations -- Geometrical structures and modal logic -- A unified framework for hypothetical and practical reasoning (1): Theoretical foundations -- A unified framework for hypothetical and practical reasoning (2): Lessons from medical applications -- General domain circumscription and its first-order reduction -- Reasoning about rational, but not logically omniscient agents (extended abstract) -- Specification of nonmonotonic reasoning -- Intelligent agents in the Situation Calculus: An application to user modelling -- Talkin'bout consistency, or: When logically possible becomes possible -- The analysis and evaluation of legal argumentation from a pragma-dialectical perspective -- Reasoning about reasoning -- A resolution-based proof method for temporal logics of knowledge and belief -- A methodology for iterated theory change -- A formal framework fo
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. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
