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

Transactions and Change in Logic Databases: International Seminar on Logic ...

Burkhard Freitag - Computers - 1998 - 396 pages
This book constitutes the thoroughly refereed and revised post-workshop proceedings of two international meetings devoted to deductive databases and logic programming. The ...
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

Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 ...

Jan Komorowski, Zbigniew W. Ras - Computers - 1993 - 662 pages
This volume contains papers selected for presentation at the Seventh International Symposium on Methodologies for Intelligent Systems (ISMIS '93), held at the Norwegian ...
Snippet view - About this book

Logic Programming and Knowledge Representation: Third International Workshop ...

Jürgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski - Computers - 1998 - 246 pages
This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in ...
Limited preview - About this book

Datalog Reloaded: First International Workshop, Datalog 2010, Oxford, UK ...

Oege de Moor, Georg Gottlob, Tim Furche, Andrew Sellers - Computers - 2011 - 398 pages
This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. The 22 revised ...
Limited preview - About this book

A 25-Year Perspective on Logic Programming: Achievements of the Italian ...

Agostino Dovier, Enrico Pontelli - Computers - 2010 - 329 pages
This book celebratesthe 25th anniversaryof GULP—the Italian Associationfor LogicProgramming.Authored by Italian researchersat the leading edge of their ?elds, it presents an ...
Limited preview - About this book

Handbook of Philosophical Logic, Volume 12

D.M. Gabbay, Franz Guenthner - Philosophy - 2005 - 372 pages
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 ...
Limited preview - About this book




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