COVID-19 Update: We are currently shipping orders daily. However, due to transit disruptions in some geographies, deliveries may be delayed. To provide all customers with timely access to content, we are offering 50% off Science and Technology Print & eBook bundle options. Terms & conditions.
Handbook of Knowledge Representation - 1st Edition - ISBN: 9780444522115, 9780080557021

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
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

12. Temporal Representation and Reasoning
13. Spatial Reasoning
14. Physical Reasoning
15. Reasoning about Knowledge and Belief
16. Situation Calculus
17. Event Calculus
18. Temporal Action Logics
19. Nonmonotonic Causal Logic Part III: Knowledge Representation in Applications
20. Knowledge Representation and Question Answering
21. The Semantic Web: Webizing Knowledge Representation
22. Automated Planning
23. Cognitive Robotics
24. Multi-Agent Systems
25. 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 2007
18th December 2007
Elsevier Science
Hardcover ISBN:
eBook ISBN:

Ratings and Reviews

About the Editors

Frank van Harmelen

Affiliations and Expertise

Vrije Universiteit Amsterdam, The Netherlands

Vladimir Lifschitz

Affiliations and Expertise

University of Texas at Austin, USA

Bruce Porter

Affiliations and Expertise

University of Texas at Austin, USA