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

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

Reasoning Robots: The Art and Science of Programming Robotic Agents

Michael Thielscher - Philosophy - 2006 - 328 pages
The creation of intelligent robots is surely one of the most exciting and ch- lenginggoals of Arti?cial Intelligence. A robot is, ?rst of all, nothing but an inanimate machine ...
Limited preview - About this book

The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop

Frank M. Brown - Computers - 2014 - 368 pages
The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop focuses on the approaches, principles, and concepts related to the frame problem in artificial ...
Limited preview - About this book

Logic-Based Artificial Intelligence

Jack Minker - Computers - 2012 - 606 pages
The use of mathematical logic as a formalism for artificial intelligence was recognized by John McCarthy in 1959 in his paper on Programs with Common Sense. In a series of ...
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

Methodologies for Intelligent Systems: 8th International Symposium ..., Volume 8

Zbigniew W. Ras, Maria Zemankova - Computers - 1994 - 613 pages
This volume contains the revised versions of the papers presented at the Eighth International Symposium on Methodologies for Intelligent Systems (ISMIS '94), held in Charlotte ...
Limited preview - About this book

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




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