Scientific discovery has long been one of the central driving forces in our civilization. It
uncovered the principles of the world we live in, and enabled us to invent new technologies …

Logic is the science that deals with the formal principles and criteria of validity of patterns of
inference. This chapter surveys logics for a particular group of patterns of inference, namely …

Pattern recognition has its origins in engineering, whereas machine learning grew out of
computer science. However, these activities can be viewed as two facets of the same field …

Probabilistic Reasoning in Intelligent Systems is a complete and accessible account of the
theoretical foundations and computational methods that underlie plausible reasoning under …

With increasing demands for efficiency and product quality plus progress in the integration of
automatic control systems in high-cost mechatronic and safety-critical processes, the field of …

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

Constraint programming is a powerful paradigm for solving combinatorial search problems
that draws on a wide range of techniques from artificial intelligence, computer science …

This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), a
new search algorithm for Propositional Satisfiability (SAT). GRASP incorporates several …

The book under review here, Building Large Knowledge-Based Systems: Representation
and Inference in the Cyc Project, describes progress so far in an attempt to build a system …