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

Books

Peter Norvig'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 A. MacKenzie - 2004 - Computers - Limited preview
A sociological approach to the history of proof, as applied to and performed by computer systems.

Knowledge Representation

Ronald J. Brachman, Hector J. Levesque, Raymond Reiter - 1992 - Computers - Limited preview
This collection of extended versions of 12 papers from the First InternationalConference on Principles of Knowledge Representation and Reasoning provides a snapshot of the bestcurrent work in AI on formal methods and principles of representation ...

Readings in Knowledge Representation

Ronald J. Brachman, Hector J. Levesque - 1985 - Reference - 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 J. Brachman, Hector J. 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 - Science - Limited preview
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, Dr. Fiora Pirri, Ray Reiter - 1999 - Computers - Snippet view
"This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods for characterizing intelligent behaviors of agents, knowledge-based ...

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 ...