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. Instead of trying to understand or build brains from the bottom up, its goal is to understand and build intelligent behavior from the top down, putting ...
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 ...

Raymond Reiter - 2001 - Computers - Limited preview
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other disciplines. In recent years, a new approach to representing such ...
0 Reviews - Write review

Handbook of Philosophical Logic, Volume 14

Dov M. Gabbay, Franz Guenthner - 2007 - Computers - Limited preview
The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work to both students and researchers in formal philosophy, language and logic. The second ...
0 Reviews - Write review