Intelligent agents are employed as the central characters in this new introductory text.
Beginning with elementary reactive agents, Nilsson gradually increases their cognitive …

This seminal text of Computer Science, the most cited book on the subject, is now available
for the first time in paperback. Constraint satisfaction is a decision problem that involves …

This paper presents a new view of problem solving motivated by a new kind of truth
maintenance system. Unlike previous truth maintenance systems which were based on …

Belief revision is a topic of much interest in theoretical computer science and logic, and it
forms a central problem in research into artificial intelligence. In simple terms: how do you …

The fourth edition of this bestselling textbook explains the principles of artificial intelligence
(AI) and its practical applications. Using clear and concise language, it provides a solid …

Paradigms of AI Programming is the first text to teach advanced Common Lisp techniques in
the context of building major AI systems. By reconstructing authentic, complex AI programs …

Darüber hinaus wurden alle Themenbereiche des Buches überarbeitet und aktualisiert. Für
alle Selbsttestaufgaben, deren Anzahl wir nochmals erhöht haben, stehen ausführliche …

Thinking in terms of facts and rules is perhaps one of the most common ways of approaching
problem definition and problem solving both in everyday life and under more formal …

This account of propositional logic concentrates on the algorithmic translation of important
methods, especially of decision procedures for (subclasses of) propositional logic. Important …

This book brings together papers that argue for a radical re-conceptualization of the
psychology of inference, and of cognitive science more generally. The papers demonstrate …