Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 11 - 20 of about 47 related to Formal Theories of the Commonsense World.    

Building expert systems

Frederick Hayes-Roth, Douglas B. Lenat - Computers - 1983 - 444 pages
Building expert systems; Evaluating an expert system; Expert system tools; A typical problem for expert systems; Transcripts ilustrating the operation of prototype expert ...
Snippet view - About this book

Qualitative Reasoning about Physical Systems

D.G. Bobrow - Science - 1985 - 491 pages
This volume brings together current work on qualitative reasoning. Its publication reflects the maturity of qualitative reasoning as a research area and the growing interest in ...
Limited preview - About this book

Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning ...

H. Prakken - Philosophy - 1997 - 314 pages
This book is a revised and extended version of my PhD Thesis 'Logical Tools for Modelling Legal Argument', which I defended on 14 January 1993 at the Free University Amsterdam ...
Snippet view - About this book

Certified Programs and Proofs: First International Conference, CPP 2011 ...

Jean-Pierre Jouannaud, Zhong Shao - Computers - 2011 - 401 pages
This volume constitutes the referred proceedings of the First International Conference on Certified Programs and Proofs, CPP 2011, held in Taiwan, in December 2011. The papers ...
Limited preview - About this book

Mass Terms: Some Philosophical Problems

Francis Jeffry Pelletier - Language Arts & Disciplines - 1979 - 303 pages
I. MASS TERMS, COUNT TERMS, AND SORTAL TERMS Central examples of mass terms are easy to come by. 'Water', 'smoke', 'gold', etc. , differ in their syntactic, semantic, and ...
Limited preview - About this book

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