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.    

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

Knowledge Representation and Reasoning

Ronald J. Brachman, Hector J. Levesque - Computers - 2004 - 381 pages
Knowledge representation is at the very core of a radical idea for understanding intelligence. This book talks about the central concepts of knowledge representation developed ...
Limited preview - About this book

Logical foundations for cognitive agents: contributions in honor of Ray Reiter

Hector J. Levesque, Dr. Fiora Pirri, Ray Reiter - Computers - 1999 - 405 pages
This collection of papers is the outcome of the work of a community of researchers in AI who, during the last twenty years, have developed the logical formalisms and methods ...
Snippet view - 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

First-Order Modal Logic

M. Fitting, Richard L. Mendelsohn - Computers - 1998 - 287 pages
Fitting and Mendelsohn present a thorough treatment of first-order modal logic, together with some propositional background. They adopt throughout a threefold approach ...
Limited preview - About this book

Reasoning about change: time and causation from the standpoint of artificial ...

Yoav Shoham - Computers - 1988 - 200 pages
Reasoning About Change presents a comprehensive approach to temporal reasoning in artificial intelligence.
Snippet view - About this book

Classical Mathematical Logic: The Semantic Foundations of Logic

Richard L. Epstein - Mathematics - 2006 - 522 pages
In Classical Mathematical Logic, Richard L. Epstein relates the systems of mathematical logic to their original motivations to formalize reasoning in mathematics. The book also ...
Limited preview - About this book

Foundations without Foundationalism : A Case for Second-Order Logic: A Case ...

Stewart Shapiro - Mathematics - 1991 - 300 pages
The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the ...
Limited preview - About this book

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