Handbook of Knowledge Representation, Volume 1

1st Edition

Editors: Frank van Harmelen Vladimir Lifschitz Bruce Porter
Hardcover ISBN: 9780444522115
eBook ISBN: 9780080557021
Imprint: Elsevier Science
Published Date: 18th December 2007
Page Count: 1034
240.00 + applicable tax
145.00 + applicable tax
180.00 + applicable tax
215.00 + applicable tax
Compatible Not compatible
VitalSource PC, Mac, iPhone & iPad Amazon Kindle eReader
ePub & PDF Apple & PC desktop. Mobile devices (Apple & Android) Amazon Kindle eReader
Mobi Amazon Kindle eReader Anything else

Institutional Access

Table of Contents

Part I: General Methods in Knowledge Representation and Reasoning

  1. Knowledge Representation and Classical Logic
  2. Satisfiability Solvers
  3. Description Logics
  4. Constraint Programming
  5. Conceptual Graphs
  6. Nonmonotonic Reasoning
  7. Answer Sets
  8. Belief Revision
  9. Qualitative Modeling
  10. Model-Based Problem Solving
  11. Bayesian Networks

Part II: Classes of Knowledge and Specialized Representations

  1. Temporal Representation and Reasoning
  2. Spatial Reasoning
  3. Physical Reasoning
  4. Reasoning about Knowledge and Belief
  5. Situation Calculus
  6. Event Calculus
  7. Temporal Action Logics
  8. Nonmonotonic Causal Logic Part III: Knowledge Representation in Applications
  9. Knowledge Representation and Question Answering
  10. The Semantic Web: Webizing Knowledge Representation
  11. Automated Planning
  12. Cognitive Robotics
  13. Multi-Agent Systems
  14. Knowledge Engineering


Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically.

The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field.

This book is an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence.

Key Features

  • Make your computer smarter
  • Handle qualitative and uncertain information
  • Improve computational tractability to solve your problems easily


Graduate students and researchers in knowledge representation, graduate students and researchers in artificial intelligence, practitioners in artificial intelligence


No. of pages:
© Elsevier Science 2008
Elsevier Science
eBook ISBN:
Hardcover ISBN:

About the Editors

Frank van Harmelen Editor

Affiliations and Expertise

Vrije Universiteit Amsterdam, The Netherlands

Vladimir Lifschitz Editor

Affiliations and Expertise

University of Texas at Austin, USA

Bruce Porter Editor

Affiliations and Expertise

University of Texas at Austin, USA