Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter.   

Proceedings of the First International Conference on Principles of Knowledge ...

Hector J. Levesque - Philosophy - 1989 - 520 pages
Proceedings held May 1989. Topics include temporal logic, hierarchical knowledge bases, default theories, nonmonotonic and analogical reasoning, formal theories of belief ...
Full view - About this book

Knowledge Representation

Ronald J. Brachman, Hector J. Levesque, Raymond Reiter - Computers - 1992 - 408 pages
This collection of extended versions of 12 papers from the First InternationalConference on Principles of Knowledge Representation and Reasoning provides a snapshot of the ...
Limited preview - About this book

Knowledge Representation and Reasoning

Ronald J. Brachman, Hector J. Levesque - Computers - 2004 - 381 pages
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 ...
Limited preview - About this book

Thinking as Computation: A First Course

Hector J. Levesque - Computers - 2012 - 328 pages
This book guides students through an exploration of the idea that thinking might be understood as a form of computation. Students make the connection between thinking and ...
Limited preview - About this book

Common Sense, the Turing Test, and the Quest for Real AI: Reflections on ...

Hector J. Levesque - Computers - 2017 - 192 pages
What artificial intelligence can tell us about the mind and intelligent behavior.
Limited preview - About this book

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

Raymond Reiter - Computers - 2001 - 448 pages
Modeling and implementing dynamical systems is a central problem in artificial intelligence, robotics, software agents, simulation, decision and control theory, and many other ...
Limited preview - About this book

Logic in Databases: International Workshop LID '96, San Miniato, Italy, July ...

Dino Pedreschi, Carlo Zaniolo - Computers - 1996 - 495 pages
This book constitutes the strictly refereed post-workshop proceedings of the International Workshop on Logic in Databases, LID'96, held in San Miniato, Italy, in July 1996, as ...
Limited preview - About this book

  1. My library
  2. Help
  3. Advanced Book Search