Handbook of knowledge representation /
Series: Foundations of artificial intelligence Edition statement: Published by : Elsevier, (Amsterdam ; | Boston :) Physical details: xxviii, 1005 p. : ill. ; 25 cm. ISBN:9780444522115 (hbk.); 0444522115 (hbk.). Year: 2008 Item type:
Book
| Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|
| Riara University Library General stack | Q387.H35 2008 (Browse shelf (Opens below)) | C.1 | Available | 7562/16 | ||
| Riara University Library General stack | Q387.H35 2008 (Browse shelf (Opens below)) | C.2 | Available | 7563/16 |
Browsing Riara University Library shelves, Shelving location: General stack Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | No cover image available | ||||||
| Q342.C667 2022 Computational intelligence in Data Science / | Q342.C667 2022 Computational intelligence in Data Science / | Q387.H35 2008 Handbook of knowledge representation / | Q387.H35 2008 Handbook of knowledge representation / | QA7.5 .L83 V.1 2013 ICDL Standard Modules Vol 1 | QA7.5 .L83 V.1 2013 ICDL Standard Modules Vol 1 | QA7.5 .L83 V.1 2013 ICDL Standard Modules Vol 1 |
Includes bibliographical references and index.
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.
There are no comments on this title.