CSU-Carig
Handbook of knowledge representation [electronic resource] / (Record no. 10654)
| 000 -LEADER | |
|---|---|
| fixed length control field | 02135cam a22002178a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780444522115 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 0444522115 |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.332 |
| 245 00 - TITLE STATEMENT | |
| Title | Handbook of knowledge representation [electronic resource] / |
| 250 ## - EDITION STATEMENT | |
| Edition statement | First edition. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication | Amsterdam ; |
| -- | Boston : |
| Name of publisher | Elsevier, |
| Year of publication | 2008 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | 1 online resource (xxviii, 1005 pages) : |
| Other physical details | illustration ; |
| 490 ## - SERIES STATEMENT | |
| Series statement | Foundations of artificial intelligence. |
| 500 ## - GENERAL NOTE | |
| General note | Includes indexes |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Knowledge representation and classical logic / Vladimir Lifschitz, Leora Morgenstern, and David Plaisted -- Satisfiability solvers / Carla P. Gomes ... [et al.] -- Description logics / Franz Baader, Ian Horrocks, Ulrike Sattler -- Constraint programming / Francesca Rossi, Peter van Beek, Toby Walsh -- Conceptual graphs / John F. Sowa -- Nonmonotonic reasoning / Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński -- Answer sets / Michael Gelfond -- Belief revision / Pavlos Peppas -- Qualitative modeling / Kenneth D. Forbus -- Model-based problem solving / Peter Struss -- Bayesian networks / A. Darwiche -- Temporal representation and reasoning / Michael Fisher -- Qualitative spatial representation and reasoning / Anthony G. Cohn and Jochen Renz -- Physical reasoning / Ernest Davis -- Reasoning about knowledge and belief / Yoram Moses -- Situation calculus / Fangzhen Lin -- Event calculus / Erik T. Mueller -- Temporal action logics / Patrick Doherty and Jonas Kvarnström -- Nonmonotonic causal logic / H. Turner -- Knowledge representation and question answering / Marcello Balduccini, Chitta Baral, Yuliya Lierler -- The semantic web : webizing knowledge representation / Jim Hendler and Frank van Harmelen -- Automated planning / Alessandro Cimatti, Marco Pistore, Paolo Traverso -- Cognitive robotics / Hector Levesque and Gerhard Lakemeyer -- Multi-agent systems / Wiebe van der Hoek and Michael Wooldridge -- Knowledge engineering / Guus Schreiber |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical Term | Knowledge representation (Information theory). |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Porter, Bruce, |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Lifschitz, Vladimir |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Van Harmelen, Frank |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Electronic Books |
| Permanent Location | Date acquired | Collection code | Koha item type | Lost status | Shelving location | Current Location | Withdrawn status | Full call number |
|---|---|---|---|---|---|---|---|---|
| Cagayan State University - Carig Library | 2017-03-14 | E-Books | Electronic Books | E-Resource Section | Cagayan State University - Carig Library | 006.332 |