Books in the Foundations of Artificial Intelligence series

Temporal reasoning has a vital role to play in many areas, particularly Artificial Intelligence. This collection provides a description of the breadth of activity concerning temporal reasoning in the filed of Artificial Intelligence. It is intended for researchers and students in the area of Temporal Reasoning in Artificial Intelligence.

Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. This book reviews twenty-five key topics in knowledge representation. It is useful for students, researchers and practitioners in various areas of Artificial Intelligence.

Covers the basic foundations of constraint programming, including the history, the notion of constraint propagation, basic search methods, global constraints, and more. This work also covers constraint languages and solver, several useful extensions to the basic framework, and successful application areas for constraint programming.