Skip to main content
SpringerLink
Log in

Foundations of Knowledge Representation and Reasoning

  • Book
  • © 1994

Overview

Editors:
  1. Gerhard Lakemeyer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Bernhard Nebel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 810)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (19 chapters)

  1. Front Matter

    Download chapter 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
Back to top

Keywords

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.

Bibliographic Information

  • Book Title: Foundations of Knowledge Representation and Reasoning

  • Editors: Gerhard Lakemeyer, Bernhard Nebel

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-58107-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1994

  • Softcover ISBN: 978-3-540-58107-9Published: 28 June 1994

  • eBook ISBN: 978-3-540-48453-0Published: 02 July 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: IX, 363

  • Topics: Artificial Intelligence, Mathematical Logic and Formal Languages

Publish with us

Policies and ethics

Back to top

Search

Navigation