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 2

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

Mechanizing Proof: Computing, Risk, and Trust

Donald MacKenzie - 2004 - Computers - Limited preview
A sociological approach to the history of proof, as applied to and performed by computer systems.
0 Reviews - Write review

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 ...
0 Reviews - Write review

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 ...
0 Reviews - Write review

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 ...
3 Reviews - Write review

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 ...
0 Reviews - Write review

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 ...
0 Reviews - Write review

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 ...
0 Reviews - Write review

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

Reiter - Limited preview
0 Reviews - Write review

Handbook of Philosophical Logic, Volume 14

Dov M. Gabbay, Franz Guenthner - 2007 - Computers - Limited preview
The fourteenth volume of the Second Editioncovers 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 ...
0 Reviews - Write review