Research Catalog

Title

Foundations of knowledge representation and reasoning / Gerhard Lakemeyer, Bernhard Nebel (eds.).

Publication

Berlin ; New York : Springer-Verlag, ©1994.

Items in the Library & Off-site

Details

Additional Authors

• Lakemeyer, Gerhard.
• Nebel, Bernhard, 1956-

Description

viii, 355 pages : illustrations; 24 cm

Summary

"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"--PUBLISHER'S WEBSITE.

Series Statement

Lecture notes in computer science ; 810. Lecture notes in artificial intelligence

Uniform Title

• Lecture notes in computer science ; 810.
• Lecture notes in computer science. Lecture notes in artificial intelligence

Subject

• Knowledge representation (Information theory)
• Reasoning
• Artificial intelligence
• Artificial Intelligence
• artificial intelligence
• Automatisches Beweisverfahren
• Denken
• Künstliche Intelligenz
• Logischer Schluss
• Wissensbasiertes System
• Wissensrepräsentation
• Kunstmatige intelligentie
• Kennisrepresentatie
• Inteligencia Artificial (Computacao)
• Intelligence artificielle > Congrès
• Représentation des connaissances > Congrès
• Raisonnement > Congrès

Genre/Form

Wien (1992)

Bibliography (note)

• Includes bibliographical references.

Contents

• Foundations of Knowledge Representation and Reasoning / Gerhard Lakemeyer and Bernhard Nebel -- Collective Entities and Relations in Concept Languages / Jurgen Allgayer and Enrico Franconi -- Computing Extensions of Terminological Default Theories / Franz Baader and Bernhard Hollunder -- A Formalization of Interval-Based Temporal Subsumption in First Order Logic / Claudio Bettini -- Normative, Subjunctive and Autoepistemic Defaults / Craig Boutilier -- Abductive Reasoning with Abstraction Axioms / Luca Console and Daniele Theseider Dupre -- Queries, Rules and Definitions as Epistemic Sentences in Concept Languages / Franceso M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt and Andrea Schaerf -- The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic / Georg Gottlob -- Learning an Optimally Accurate Representation System / Russell Greiner and Dale Schuurmans -- Default Reasoning via Negation as Failure / A.C. Kakas.
• Weak Autoepistemic Reasoning and Well-Founded Semantics / Jurgen Kalinski -- Forming Concepts for Fast Inference / Henry Kautz and Bart Selman -- A Common-Sense Theory of Time / Yuen Q. Lin -- Reasoning with Analogical Representations / Karen L. Myers and Kurt Konolige -- Asking About Possibilities -- Revision and Update Semantics for Subjunctive Queries / Wolfgang Nejdl and Markus Banagl -- On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning / Ilkka Niemela and Jussi Rintanen -- Logics of Mental Attitudes in AI / Yoav Shoham and Steve B. Cousins -- Hyperrational Conditionals -- Monotonic Reasoning About Nested Default Conditionals / Emil Weydert -- Revision by Expansion in Logic Programs / Cees Witteveen and Catholijn Jonker.

ISBN

• 0387581073
• 9780387581071
• 3540581073
• 9783540581079

LCCN

94020768

OCLC

• ocm30594472
• 30594472
• SCSB-9151403

Owning Institutions

Princeton University Library