Foundations of Knowledge Representation and Reasoning

1. Front Matter

   PDF

2. Foundations of knowledge representation and reasoning

   • Gerhard Lakemeyer, Bernhard Nebel

   Pages 1-12

3. Collective entities and relations in concept languages

   • Jürgen Allgayer, Enrico Franconi

   Pages 13-29

4. Computing extensions of terminological default theories

   • Franz Baader, Bernhard Hollunder

   Pages 30-52

5. A formalization of interval-based temporal subsumption in first order logic

   • Claudio Bettini

   Pages 53-73

6. Normative, subjunctive and autoepistemic defaults

   • Craig Boutilier

   Pages 74-97

7. Abductive reasoning with abstraction axioms

   • Luca Console, Daniele Theseider Dupré

   Pages 98-112

8. Queries, rules and definitions as epistemic sentences in concept languages

   • Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf

   Pages 113-132

9. The power of beliefs or translating default logic into standard autoepistemic logic

   • Georg Gottlob

   Pages 133-144

10. Learning an optimally accurate representation system

    • Russell Greiner, Dale Schuurmans

    Pages 145-159

11. Default reasoning via negation as failure

    • A. C. Kakas

    Pages 160-178

12. Weak autoepistemic reasoning and well-founded semantics

    • Jürgen Kalinski

    Pages 179-199

13. Forming concepts for fast inference

    • Henry Kautz, Bart Selman

    Pages 200-215

14. A common-sense theory of time

    • Yuen Q. Lin

    Pages 216-228

15. Reasoning with analogical representations

    • Karen L. Myers, Kurt Konolige

    Pages 229-249

16. Asking about possibilities — Revision and update semantics for subjunctive queries Extended report

    • Wolfgang Nejdl, Markus Banagl

    Pages 250-274

17. On the impact of stratification on the complexity of nonmonotonic reasoning

    • Ilkka Niemelä, Jussi Rintanen

    Pages 275-295

18. Logics of mental attitudes in AI

    • Yoav Shoham, Steve B. Cousins

    Pages 296-309

19. Hyperrational conditionals

    • Emil Weydert

    Pages 310-332

20. Revision by expansion in logic programs

    • Cees Witteveen, Catholijn Jonker

    Pages 333-355

This collection of thoroughly refereed papers presents state-of-the-art research results by well-known researchers on the foundations of knowledge representation and reasoning. In addition, there are two surveys, one by the volume editors intended as a guide to this book and another by Shoham and Cousins on mental attitudes.
In total, the volume provides a well-organized report on current research in knowledge representation, which is one of the central subfields of AI. Except the surveys, the papers grew out of a workshop on Theoretical Foundations of Knowledge Representation and Reasoning, held in conjunction with the 10th European Conference on Artificial Intelligence (ECAI-92) in Vienna in August 1992.

• Conceptual Learning
• European Conference on Artificial Intelligence
• Extension
• Knowledge Acquisition
• Nonclassical Logics
• Reasoning
• Resaasoning
• Schließen
• Wissenakquisition
• complexity
• intelligence
• knowledge
• knowledge representation
• learning
• nonmonotonic reasoning

Policies and ethics