Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 31 - 40 of about 48 related to Knowledge Representation.   

Theoretical Aspects of Reasoning About Knowledge: Proceedings of the Fifth ...

Ronald Fagin - Computers - 2014 - 348 pages
Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994) held in ...
Limited preview - About this book

Proof Theory and Automated Deduction

Jean Goubault-Larrecq, I. Mackie - Computers - 2001 - 444 pages
Proof Theory and Automated Deduction is written for final-year undergraduate and first-year post-graduate students. It should also serve as a valuable reference for researchers ...
Limited preview - About this book

Circumscription: A Formalism of Nonmonotonic Reasoning, Volume 43

Madhavan Thirumalai - Artificial intelligence - 1990 - 122 pages
Abstract: "It is commonsense to conclude, in the absence of any statement to the contrary, that a particular instance of a certain class of objects is typical in that it has ...
Snippet view - 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




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