Search Images Maps Play YouTube News Gmail Drive More »
Sign in
  1. My library
  2. Help
  3. Advanced Book Search

Books

this user's libraryResults 1-10 of 16

  • Custom Ordering
  • Default Ordering

Handbook of Automated Reasoning, Volume 1

Alan J.A. Robinson, Andrei Voronkov - 2001 - Computers - Limited preview
Handbook of Automated Reasoning

Mechanizing Proof: Computing, Risk, and Trust

Donald MacKenzie - 2004 - Social Science - Limited preview
Most aspects of our private and social lives—our safety, the integrity of the financial system, the functioning of utilities and other services, and national security—now depend on computing. But how can we know that this computing is ...

Knowledge Representation

Ronald J. Brachman, Hector J. Levesque - 1992 - Antologier - Limited preview

Readings in Knowledge Representation

Ronald J. Brachman, Hector J. Levesque - 1985 - Artificial intelligence - Snippet view
In Artificial Intelligence, it is often said that the representation of knowledge is the key to the design of robust intelligent systems. In one form or another the principles of Knowledge Representation are fundamental to work in natural ...

Knowledge Representation and Reasoning

Ronald Brachman, Hector Levesque - 2004 - Computers - Limited preview
Knowledge representation is at the very core of a radical idea for understanding intelligence. This book talks about the central concepts of knowledge representation developed over the years. It is suitable for researchers and practitioners in ...

Formal Theories of the Commonsense World

Jerry R. Hobbs, Robert C. Moore - 1985 - Computers - No preview available
This volume is a collection of original contributions about the core knowledge in fundamental domains. It includes work on naive physics, such as formal specifications of intuitive theories of spatial relations, time causality, substance and ...

Introduction to Knowledge Systems

Mark Stefik - 1995 - Computers - No preview available
The art of building knowledge systems is multidisciplinary, incorporating computer science theory, programming practice and psychology. This book incorporates these varied fields covering topics ranging from algorithms and representations to ...

Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter

Hector J. Levesque - 1999 - Computers - Snippet view
It is a pleasure and an honor to be able to present this collection of papers to Ray Reiter on the occasion of his 60th birthday. To say that Ray's research has had a deep impact on the field of Artificial Intel ligence is a considerable ...

Knowledge in Action: Logical Foundations for Specifying and Implementing ...

Raymond Reiter - 2001 - Computers - Limited preview
Specifying and implementing dynamical systems with the situation calculus. Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many ...

Handbook of Philosophical Logic, Volume 14

Dov M. Gabbay, Franz Guenthner - 2007 - Mathematics - Limited preview
The fourteenth volume of the Second Edition covers central topics in philosophical logic that have been studied for thousands of years, since Aristotle: Inconsistency, Causality, Conditionals, and Quantifiers. These topics are central in many ...