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

The Logic Programming Paradigm: A 25-Year Perspective

Krzysztof Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren - Computers - 2012 - 456 pages
This exciting new text reveals both the evolution of this programming paradigm since its inception and the impressively broad scope of current research in the field. The ...
Limited preview - 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

From Modal Logic to Deductive Databases: Introducing a Logic Based Approach ...

Andr? Thayse, Paul Gochet - Computers - 1989 - 380 pages
Languages and logics; Intensional logic and natural language; Montague's sematics; Temporal logic; Formalization of revisable reasoning; Logic and databases.
Snippet view - About this book

Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5 ...

Dov M. Gabbay, C. J. Hogger, J. A. Robinson - Computers - 1998 - 814 pages
The Handbook of Logic in Artificial Intelligence and Logic Programming is a multi-volume work covering all major areas of the application of logic to artificial intelligence ...
Limited preview - About this book

Non-Monotonic Reasoning: 2nd International Workshop, Grassau, FRG, June 13 ...

Michael Reinfrank, Johan de Kleer, Matthew L. Ginsberg, Erik Sandewall - Computers - 1988 - 240 pages
This volume contains revised and extended versions of the papers presented at the Second International Workshop on Non-Monotonic Reasoning, held in Grassau (FRG), June 13-15 ...
Snippet view - About this book




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