Context-awareness has been recognized as an important enabler for pervasive computing.
Our aim is to provide a thorough survey of the state of the art in context representation and …

We distinguish diagrammatic from sentential paper-and-pencil representations of
information by developing alternative models of information-processing systems that are …

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

Structure and Interpretation of Computer Programs has had a dramatic impact on computer
science curricula over the past decade. This long-awaited revision contains changes …

A concise and lucid exposition of the major topics in knowledge representation, from two of
the leading authorities in the field.-Stuart Russell, UC Berkeley The information is valuable …

Feature models are used to specify members of a product-line. Despite years of progress,
contemporary tools often provide limited support for feature constraints and offer little or no …

Page 1 LANCE J. RIPS The PSYCHOLOGY of PROOF Deductive Reasoning in Human
Thinking Page 2 Page 3 Page 4 THE PSYCHOLOGY OF PROOF Deductive Reasoning in …

This book offers a critical reconstruction of the fundamental ideas and methods in artificial
intelligence (AI) research. By paying close attention to the metaphors of AI and their …

Many different formal techniques, both numerical and symbolic, have been developed over
the past two decades for dealing with incomplete and uncertain information. In this paper we …

Knowledge compilation has been emerging recently as a new direction of research for
dealing with the computational intractability of general propositional reasoning. According to …