Foundations of Knowledge Representation and Reasoning (Record no. 35775)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03627nam a22005055i 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783540484530 |
| -- | 978-3-540-48453-0 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3 |
| 245 10 - TITLE STATEMENT | |
| Title | Foundations of Knowledge Representation and Reasoning |
| Statement of responsibility, etc | edited by Gerhard Lakemeyer, Bernhard Nebel. |
| 260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Berlin, Heidelberg : |
| Name of publisher | Springer Berlin Heidelberg, |
| Year of publication | 1994. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | IX, 363 p. |
| Other physical details | online resource. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Foundations of knowledge representation and reasoning -- Collective entities and relations in concept languages -- Computing extensions of terminological default theories -- A formalization of interval-based temporal subsumption in first order logic -- Normative, subjunctive and autoepistemic defaults -- Abductive reasoning with abstraction axioms -- Queries, rules and definitions as epistemic sentences in concept languages -- The power of beliefs or translating default logic into standard autoepistemic logic -- Learning an optimally accurate representation system -- Default reasoning via negation as failure -- Weak autoepistemic reasoning and well-founded semantics -- Forming concepts for fast inference -- A common-sense theory of time -- Reasoning with analogical representations -- Asking about possibilities — Revision and update semantics for subjunctive queries Extended report -- On the impact of stratification on the complexity of nonmonotonic reasoning -- Logics of mental attitudes in AI -- Hyperrational conditionals -- Revision by expansion in logic programs. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Artificial Intelligence (incl. Robotics). |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Mathematical Logic and Formal Languages. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Lakemeyer, Gerhard. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Nebel, Bernhard. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/3-540-58107-3 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | E-BOOKS |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 1994. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 0302-9743 ; |
| Withdrawn status | Lost status | Damaged status | Not for loan | Current library | Accession Number | Uniform Resource Identifier | Koha item type |
|---|---|---|---|---|---|---|---|
| IMSc Library | EBK6481 | http://dx.doi.org/10.1007/3-540-58107-3 | E-BOOKS |