


default search action
Handbook of Knowledge Representation 2008
- Frank van Harmelen, Vladimir Lifschitz, Bruce W. Porter:

Handbook of Knowledge Representation. Foundations of Artificial Intelligence 3, Elsevier 2008, ISBN 978-0-444-52211-5 - Preface.

Part 1: General Methods in Knowledge
- Vladimir Lifschitz, Leora Morgenstern, David A. Plaisted:

Knowledge Representation and Classical Logic. 3-88 - Carla P. Gomes, Henry A. Kautz

, Ashish Sabharwal, Bart Selman:
Satisfiability Solvers. 89-134 - Franz Baader, Ian Horrocks

, Ulrike Sattler:
Description Logics. 135-179 - Francesca Rossi, Peter van Beek, Toby Walsh:

Constraint Programming. 181-211 - John F. Sowa:

Conceptual Graphs. 213-237 - Gerhard Brewka, Ilkka Niemelä, Miroslaw Truszczynski:

Nonmonotonic Reasoning. 239-284 - Michael Gelfond

:
Answer Sets. 285-316 - Pavlos Peppas

:
Belief Revision. 317-359 - Kenneth D. Forbus:

Qualitative Modeling. 361-393 - Peter Struss:

Model-based Problem Solving. 395-465 - Adnan Darwiche:

Bayesian Networks. 467-509
Part 2: Classes of Knowledge
- Michael Fisher

:
Temporal Representation and Reasoning. 513-550 - Anthony G. Cohn, Jochen Renz

:
Qualitative Spatial Representation and Reasoning. 551-596 - Ernest Davis:

Physical Reasoning. 597-620 - Yoram Moses:

Reasoning about Knowledge and Belief. 621-647 - Fangzhen Lin:

Situation Calculus. 649-669 - Erik T. Mueller

:
Event Calculus. 671-708 - Patrick Doherty, Jonas Kvarnström

:
Temporal Action Logics. 709-757 - Hudson Turner:

Nonmonotonic Causal Logic. 759-776
Part 3: Knowledge Representation
- Marcello Balduccini, Chitta Baral, Yuliya Lierler:

Knowledge Representation and Question Answering. 779-819 - Jim Hendler

, Frank van Harmelen
:
The Semantic Web: Webizing Knowledge Representation. 821-839 - Alessandro Cimatti

, Marco Pistore
, Paolo Traverso
:
Automated Planning. 841-867 - Hector J. Levesque, Gerhard Lakemeyer:

Cognitive Robotics. 869-886 - Wiebe van der Hoek

, Michael J. Wooldridge:
Multi-Agent Systems. 887-928 - Guus Schreiber:

Knowledge Engineering. 929-946

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














