Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 8 of about 8 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

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

Knowledge Representation and Reasoning

Ronald Brachman, Hector Levesque - Computers - 2004 - 381 pages
Knowledge representation is at the very core of a radical idea for understanding intelligence. Instead of trying to understand or build brains from the bottom up, its goal is ...
Limited preview - About this book

Challenges for Action Theories, Issue 1775

Michael Thielscher - Computers - 2000 - 138 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


Franz Baader, Klaus Ulrich Schulz - Logic, Symbolic and mathematical - 1996 - 388 pages
This volume contains research papers that consider the problem of combining formal systems, algorithms, and software tools from the different perspectives of logic, computer ...
Snippet view - About this book

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