Foundations of knowledge representation and reasoning /
שמור ב:
| מחברים אחרים: | , |
|---|---|
| פורמט: | ספר |
| שפה: | English |
| יצא לאור: |
Berlin ; New York :
Springer-Verlag,
c1994.
|
| סדרה: | Lecture notes in computer science ;
810. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| נושאים: |
תוכן הענינים:
- 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.