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 61-70 of 211

  • 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

Readings in artificial intelligence: a collection of articles

Bonnie Lynn Webber, Nils J. Nilsson - 1981 - Computers - Snippet view
The purpose of this collection is to make accessible in one place a number of the seminal research papers in the field of aritificial intelliigence. These papers cover a wide variety of topics; some are theoretical and some experimental. As many ...
0 Reviews - Write review