Handbook of Knowledge Representation - 1st Edition - ISBN: 9780444522115, 9780080557021

Handbook of Knowledge Representation, Volume 1

1st Edition

0.0 star rating Write a review
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
Sales tax will be calculated at check-out Price includes VAT/GST
Price includes VAT/GST

Institutional Subscription

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

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


Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems.

This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering.

This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI.

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
18th December 2007
Elsevier Science
Hardcover ISBN:
eBook ISBN:

Ratings and Reviews

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