Handbook of Knowledge Representation

Authors: Frank van Harmelen (Editor), Vladimir Lifschitz (Editor), Bruce Porter (Editor)

Publisher: Elsevier Science (2008)

ISBN: 978-0-444-52211-5

Download: Table of Contents, Complete Book

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