Handbook of Knowledge Representation

Frank van Harmelen, Vladimir Lifschitz and Bruce Porter (Eds.)978-0-444-52211-5

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. * Make your computer smarter * Handle qualitative and uncertain information * Improve computational tractability to solve your problems easily

---

Table of contents :
Content:
Dedication
Page v

Preface
Pages vii-x
Frank Harmelen, Vladimir Lifschitz, Bruce Porter

Contributors
Pages xiii-xiv

Chapter 1 Knowledge Representation and Classical Logic Review Article
Pages 3-88
Vladimir Lifschitz, Leora Morgenstern, David Plaisted

Chapter 2 Satisfiability Solvers Review Article
Pages 89-134
Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman

Chapter 3 Description Logics Review Article
Pages 135-179
Franz Baader, Ian Horrocks, Ulrike Sattler

Chapter 4 Constraint Programming Review Article
Pages 181-211
Francesca Rossi, Peter van Beek, Toby Walsh

Chapter 5 Conceptual Graphs Review Article
Pages 213-237
John F. Sowa

Chapter 6 Nonmonotonic Reasoning Review Article
Pages 239-284
Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński

Chapter 7 Answer Sets Review Article
Pages 285-316
Michael Gelfond

Chapter 8 Belief Revision Review Article
Pages 317-359
Pavlos Peppas

Chapter 9 Qualitative Modeling Review Article
Pages 361-393
Kenneth D. Forbus

Chapter 10 Model-based Problem Solving Review Article
Pages 395-465
Peter Struss

Chapter 11 Bayesian Networks Review Article
Pages 467-509
A. Darwiche

Chapter 12 Temporal Representation and Reasoning Review Article
Pages 513-550
Michael Fisher

Chapter 13 Qualitative Spatial Representation and Reasoning Review Article
Pages 551-596
Anthony G. Cohn, Jochen Renz

Chapter 14 Physical Reasoning Review Article
Pages 597-620
Ernest Davis

Chapter 15 Reasoning about Knowledge and Belief Review Article
Pages 621-647
Yoram Moses

Chapter 16 Situation Calculus Review Article
Pages 649-669
Fangzhen Lin

Chapter 17 Event Calculus Review Article
Pages 671-708
Erik T. Mueller

Chapter 18 Temporal Action Logics Review Article
Pages 709-757
Patrick Doherty, Jonas Kvarnström

Chapter 19 Nonmonotonic Causal Logic Review Article
Pages 759-776
H. Turner

Chapter 20 Knowledge Representation and Question Answering Review Article
Pages 779-819
Marcello Balduccini, Chitta Baral, Yuliya Lierler

Chapter 21 The Semantic Web: Webizing Knowledge Representation Review Article
Pages 821-839
Jim Hendler, Frank van Harmelen

Chapter 22 Automated Planning Review Article
Pages 841-867
Alessandro Cimatti, Marco Pistore, Paolo Traverso

Chapter 23 Cognitive Robotics Review Article
Pages 869-886
Hector Levesque, Gerhard Lakemeyer

Chapter 24 Multi-Agent Systems Review Article
Pages 887-928
Wiebe van der Hoek, Michael Wooldridge

Chapter 25 Knowledge Engineering Review Article
Pages 929-946
Guus Schreiber

Author Index
Pages 947-986

Subject Index
Pages 987-1005