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

Disjunctive logic programming

Donald W. Loveland, Arcot Rajasekar - Disjunction (Logic) - 1994 - 140 pages
Abstract: "During the past several years a body of theoretical results has been developed in the field of logic programming. The book by Lloyd [Llo84] and the chapter by Apt ...
Snippet view - About this book

Logic Programming: Proceedings of the Twelfth International Conference on ...

Leon Sterling - Computers - 1995 - 834 pages
Topics covered: Theoretical Foundations. Higher-Order Logics. Non-Monotonic Reasoning. Programming Methodology. Programming Environments. Extensions to Logic Programming ...
Limited preview - About this book

Challenges for Action Theories

Michael Thielscher - Computers - 2003 - 146 pages
A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming ...
Limited preview - About this book

Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK ...

Craig MacNish, David Pearce, Luis M. Pereira - Computers - 1994 - 416 pages
This book constitutes the proceedings of the 1994 European Workshop on Logics in Artificial Intelligence, held at York, UK in September 1994. The 24 papers presented were ...
Limited preview - About this book

Handbook of Knowledge Representation

Frank van Harmelen, Vladimir Lifschitz, Bruce Porter - Computers - 2008 - 1034 pages
Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides ...
Limited preview - About this book

New Directions in AI Planning

Malik Ghallab - Computers - 1996 - 407 pages
No preview available - About this book

ECAI 94, 11th European Conference on Artificial Intelligence, August 8-12 ...

A. G. Cohn, European Coordinating Committee for Artificial Intelligence - Computers - 1994 - 832 pages
A collection of refereed papers presented at the 11th European Conference on Artificial Intelligence held in Amsterdam, The Netherlands in August 1994.
Snippet view - About this book

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