Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 11 - 20 of about 47 related to Knowledge Representation.    

From Standard Logic to Logic Programming: Introducing a Logic Based Approach ...

Andr? Thayse, Paul Gochet - Computers - 1988 - 343 pages
Logic; Predicate calculus; Axiomatic systems; Knowledge representation and reasoning; Logic and revisable reasoning; Formal grammars and logic programming; Prolog and logic ...
Snippet view - About this book

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning ...

Marcello Balduccini, Tran Cao Son - Computers - 2011 - 513 pages
This Festschrift volume, published in honor of Michael Gelfond on the occasion of his 65th birthday, contains a collection of papers written by his closest friends and ...
Limited preview - About this book

Formal Techniques in Artificial Intelligence: A Sourcebook

Ranan B. Banerji - Computers - 1990 - 437 pages
Contrary to general opinion, Artificial Intelligence research has often been carried out from a mathematical point of view, and frequently incorporates techniques of ...
Snippet view - 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

Foundations of deductive databases and logic programming

Jack Minker - Computers - 1988 - 746 pages
This landmark volume explores the close relationship between deductive databases and logic programming and the foundational issues they share. A collection of original research ...
Snippet view - About this book

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