Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to The Logic of Knowledge Bases.   

Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel

W. Bibel - Computers - 2000 - 386 pages
"Audience: Researchers working in the areas of Intellectics and Computational Logic, who are convinced that an intelligent behavior of machines should be based on a rigid ...
Limited preview - About this book

Logics in AI: European Workshop JELIA '90, Amsterdam, The Netherlands ...

Jan van Eijck - Computers - 1991 - 569 pages
The European Workshop on Logics in Artificial Intelligence was held at the Centre for Mathematics and Computer Science in Amsterdam, September 10-14, 1990. This volume includes ...
Limited preview - About this book

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

Logical Foundations of Artificial Intelligence

Michael R. Genesereth, Nils J. Nilsson - Computers - 2012 - 406 pages
Intended both as a text for advanced undergraduates and graduate students, and as a key reference work for AI researchers and developers, Logical Foundations of Artificial ...
Limited preview - About this book

Mathematical Logic for Computer Science

M. Ben-Ari - Computers - 2001 - 304 pages
Including theorems and proofs, this book presents logical systems such as Propositional calculus; Predicate calculus; Resolution; Hoare logic; Z; and, Temporal logic.
Limited preview - About this book

Foundations of Knowledge Representation and Reasoning

Gerhard Lakemeyer, Bernhard Nebel - Computers - 1994 - 355 pages
The papers collected in this book cover a wide range of topics in asymptotic statistics. In particular up-to-date-information is presented in detection of systematic changes ...
Limited preview - About this book

Logic Programming and Knowledge Representation: Third International Workshop ...

Jürgen Dix, Luis Moniz Pereira, Teodor C. Przymusinski - Computers - 1998 - 246 pages
This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in ...
Limited preview - About this book

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