/LC.GIF&client=easterncarolinaedu)
Handbook of knowledge representation / edited by Bruce Porter, Vladimir Lifschitz and Frank van Harmelen.
| Other author | Porter, Bruce, 1956- |
| Other author | Lifschitz, Vladimir. |
| Other author | Van Harmelen, Frank. |
| Format | Electronic |
| Edition | 1st ed. |
| Publication Info | Amsterdam ; Boston : Elsevier, |
| Description | xxviii, 1005 p. : ill. ; 25 cm. |
| Supplemental Content | Full text available from eBook - Computer Science 2008 |
| Supplemental Content | Full text available from Ebook Central - Academic Complete |
| Subjects |
| Series | Foundations of artificial intelligence |
| Contents | 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, and Ulrike Sattler -- Constraint programming / Francesca Rossi, Peter van Beek, and Toby Walsh -- Conceptual graphs / John F. Sowa -- Nonmonotonic reasoning / Gerhard Brewka, Ilkka Niemelä, and 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 / Adnan 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 / Hudson Turner -- Knowledge representation and question answering / Marcello Balduccini, Chitta Baral, and Yuliya Lierler -- The semantic web : webizing knowledge representation / Jim Hendler and Frank van Harmelen -- Automated planning / Alessandro Cimatti, Marco Pistore, and Paolo Traverso -- Cognitive robotics / Hector Levesque and Gerhard Lakemeyer -- Multi-agent systems / Wiebe van der Hoek and Michael Wooldridge -- Knowledge engineering / Guus Schreiber. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2010293026 |
| ISBN | 9780444522115 (hbk.) |
| ISBN | 0444522115 (hbk.) |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |