Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 20 citing Knowledge in Action: Logical Foundations for Specifying and Implementing .... 

Commonsense Reasoning

Erik T. Mueller - Computers - 2010 - 432 pages
To endow computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning ...
Limited preview - About this book

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh - Computers - 2006 - 978 pages
Constraint programming is a powerful paradigm for solving combinatorial search problems that draws on a wide range of techniques from artificial intelligence, computer science ...
Limited preview - About this book

Logical Foundations for Cognitive Agents: Contributions in Honor of Ray Reiter

Hector J. Levesque, Dr. Fiora Pirri, Ray Reiter - Computers - 1999 - 405 pages
"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 ...
Snippet view - About this book

AAAI-02: Proceedings of the Eighteenth National Conference on ..., Volume 18

American Association for Artificial Intelligence (AAAI) - Computers - 2002 - 1200 pages
The annual AAAI National Conference provides a forum for information exchange and interaction among researchers from all disciplines of AI. Contributions include theoretical ...
Snippet view - About this book

AI*IA 2005: Advances in Artificial Intelligence: 9th Congress of the Italian ...

Associazione italiana per l'intelligenza artificiale. Congress - Computers - 2005 - 614 pages
This volume collects the papers selected for presentation at the IX Congress of the Italian Association for Arti?cial Intelligence (AI*IA), held in Milan at the University of ...
Limited preview - About this book

Agent Communication: International Workshop on Agent Communication, AC 2004 ...

Rogier M. van Eijk, Marc-Philippe Huget, Frank Dignum - Computers - 2005 - 259 pages
In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents has been one of the major topics of research in ...
Limited preview - About this book

European Symposium on Computer Aided Process Engineering - 14: 37th European ...

Ana Paula Barbosa-Póvoa, Henrique Matos - Science - 2004 - 1200 pages
This book contains papers presented at the 14th European Symposium on Computer Aided Process Engineering (ESCAPE-14). The ESCAPE symposia bring together scientists, students ...
Limited preview - About this book




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