In this international collection of papers there is a wealth of knowledge on artificial intelligence (AI) and cognitive science (CS) techniques applied to the problem of providing help systems mainly for the UNIX operating system. The research ...

Artificial intelligence: A Modern Approach, 3e,is ideal for one or two-semester, undergraduate or graduate-level courses in Artificial Intelligence. It is also a valuable resource for computer professionals, linguists, and cognitive scientists ...

This textbook presents artificial intelligence (AI) using a coherent framework to study the design of intelligent computational agents.

Constraint-based reasoning is an important area of automated reasoning in artificial intelligence, with many applications. These include configuration and design problems, planning and scheduling, temporal and spatial reasoning, defeasible and ...

Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science, databases, programming languages, and operations research. Constraint ...

Constraint satisfaction is a simple but powerful tool. Constraints identify the impossible and reduce the realm of possibilities to effectively focus on the possible, allowing for a natural declarative formulation of what must be satisfied ...

The defacto standard - a must-have for all LISP programmers. In this greatly expanded edition of the defacto standard, you'll learn about the nearly 200 changes already made since original publication - and find out about gray areas likely to be ...

Automated planning technology plays a significant role in a variety of demanding applications, ranging from controlling space vehicles and robots to playing the game of bridge. This book covers both the theory and practice of automated planning ...

This Festschrift volume, published in celebration of the 50th Anniversary of Artificial Intelligence, includes 34 refereed papers written by leading researchers in the field of Artificial Intelligence. The papers were carefully selected from the ...