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. |
| Предметы: |
| LEADER | 03164nam a2200373 a 4500 | ||
|---|---|---|---|
| 001 | c000162602 | ||
| 003 | CARM | ||
| 005 | 20191028173817.0 | ||
| 008 | 940516s1994 gw a 000 0 eng | ||
| 010 | |a 94020768 | ||
| 019 | 1 | |a 10986762 |5 LACONCORD2021 | |
| 020 | |a 0387581073 |c DM72.00 | ||
| 020 | |a 3540581073 | ||
| 035 | |a (OCoLC)30594472 |5 LACONCORD2021 | ||
| 040 | |a TOC |b eng |c TOC | ||
| 050 | 0 | |a Q387 |b .F68 1994 | |
| 082 | 0 | 0 | |a 006.3/3 |2 20 |
| 245 | 0 | 0 | |a Foundations of knowledge representation and reasoning / |c Gerhard Lakemeyer, Bernhard Nebel (eds.) |
| 260 | |a Berlin ; |a New York : |b Springer-Verlag, |c c1994. | ||
| 300 | |a viii, 355 p. : |b ill. ; |c 24 cm. | ||
| 490 | 1 | |a Lecture notes in computer science ; |v 810. |a Lecture notes in artificial intelligence. | |
| 504 | |a Includes bibliographical references. | ||
| 505 | 0 | |a 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. | |
| 505 | 0 | |a 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. | |
| 650 | 0 | |a Knowledge representation (Information theory) | |
| 650 | 0 | |a Reasoning. | |
| 650 | 0 | |a Artificial intelligence. | |
| 700 | 1 | |a Nebel, Bernhard, |d 1956- | |
| 700 | 1 | |a Lakemeyer, Gerhard. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 810. | |
| 830 | 0 | |a Lecture notes in computer science. |p Lecture notes in artificial intelligence. | |
| 852 | 8 | |b CARM |h A2:AM07D0 |i C05488 |p 0213949 |f BK | |
| 999 | f | f | |i 16f2bc0b-b6be-58b1-9672-df43492fff59 |s 10d599c7-fc23-5e62-acd2-1085d5102429 |
| 952 | f | f | |p Can circulate |a CAVAL |b CAVAL |c CAVAL |d CARM 1 Store |e C05488 |f A2:AM07D0 |h Other scheme |i book |m 0213949 |