Table of contents

  1. Front Matter
  2. Gerhard Lakemeyer, Bernhard Nebel
    Pages 1-12
  3. Jürgen Allgayer, Enrico Franconi
    Pages 13-29
  4. Franz Baader, Bernhard Hollunder
    Pages 30-52
  5. Luca Console, Daniele Theseider Dupré
    Pages 98-112
  6. Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt, Andrea Schaerf
    Pages 113-132
  7. Russell Greiner, Dale Schuurmans
    Pages 145-159
  8. A. C. Kakas
    Pages 160-178
  9. Henry Kautz, Bart Selman
    Pages 200-215
  10. Yuen Q. Lin
    Pages 216-228
  11. Karen L. Myers, Kurt Konolige
    Pages 229-249
  12. Yoav Shoham, Steve B. Cousins
    Pages 296-309
  13. Emil Weydert
    Pages 310-332
  14. Cees Witteveen, Catholijn Jonker
    Pages 333-355
  15. Back Matter

About this book


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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58107-9
  • Online ISBN 978-3-540-48453-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site