Knowledge representation / (Record no. 73161)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03697nam a2200541 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 6267507 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20220712204725.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151223s1992 maua ob 001 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262291057 |
| -- | electronic |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| -- | |
| 082 00 - CLASSIFICATION NUMBER | |
| Call Number | 003/.54 |
| 245 00 - TITLE STATEMENT | |
| Title | Knowledge representation / |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st MIT Press ed. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 PDF (408 pages) : |
| 490 1# - SERIES STATEMENT | |
| Series statement | Special issues of Artificial intelligence, an international journal |
| 500 ## - GENERAL NOTE | |
| Remark 1 | "A Bradford book." |
| 500 ## - GENERAL NOTE | |
| Remark 1 | "Reprinted from Artificial intelligence, an international journal, volume 49, numbers 1-3, 1991"--T.p. verso. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Growing interest in symbolic representation and reasoning has pushed this backstage activity into the spotlight as a clearly identifiable and technically rich subfield in artificial intelligence. This collection of extended versions of 12 papers from the First International Conference on Principles of Knowledge Representation and Reasoning provides a snapshot of the best current work in AI on formal methods and principles of representation and reasoning. The topics range from temporal reasoning to default reasoning to representations for natural language.Ronald J. Brachman is Head of the Artificial Intelligence Principles Research Department at AT&T Bell Laboratories. Hector J. Levesque and Raymond Reiter are Professors of Computer Science at the University of Toronto.Contents: Introduction. Nonmonotonic Reasoning in the Framework of Situation Calculus. The Computational Complexity of Abduction. Temporal Constraint Networks. Impediments to Universal Preference-Based Default Theories. Embedding Decision-Analytic Control in a Learning Architecture. The Substitutional Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning. Existence Assumptions in Knowledge Representation. Hard Problems for Simple Default Logics. The Effect of Knowledge on Belief: Conditioning, Specificity and the Lottery Paradox in Default Reasoning. Three-Valued Nonmonotonic Formalisms and Semantics of Logic Programs. On the Applicability of Nonmonotonic Logic to Formal Reasoning in Continuous Time. Principles of Metareasoning. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Brachman, Ronald J., |
| 700 1# - AUTHOR 2 | |
| Author 2 | Levesque, Hector J., |
| 700 1# - AUTHOR 2 | |
| Author 2 | Reiter, Ray. |
| 856 42 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267507 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cambridge, Massachusetts : |
| -- | MIT Press, |
| -- | 1992. |
| 264 #2 - | |
| -- | [Piscataqay, New Jersey] : |
| -- | IEEE Xplore, |
| -- | [1992] |
| 336 ## - | |
| -- | text |
| -- | rdacontent |
| 337 ## - | |
| -- | electronic |
| -- | isbdmedia |
| 338 ## - | |
| -- | online resource |
| -- | rdacarrier |
| 588 ## - | |
| -- | Description based on PDF viewed 12/23/2015. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Knowledge representation (Information theory) |
No items available.