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

Computational Logic: Symposium Proceedings, Brussels, November 13/14, 1990

J.W. Lloyd - Computers - 2012 - 211 pages
This volume has a dual significance to the ESPRIT Basic Research efforts towards forging strong links between European academic and industrial teams carrying out research ...
Limited preview - About this book

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

Henry Prakken - Philosophy - 2013 - 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 ...
Limited preview - About this book

Logic Programming: Proceedings of the North American Conference, 1989, Volume 1

Ewing L. Lusk, Ross Alan Overbeek - Computers - 1989 - 1239 pages
The contributors take up applications of logic programming, logic programming and databases, theory of logic and functional programming, parallel executing of logic programs ...
Snippet view - About this book

Fundamentals of Artificial Intelligence Research: International Workshop ...

Philippe Jorrand, Jozef Kelemen - Computers - 1991 - 255 pages
This volume contains the invited and submitted contributions to FAIR '91, the first of an intended series of workshops on issues in the theoretical foundations of artificial ...
Limited preview - About this book

Logic Programming and Nonmonotonic Reasoning: Fourth International ..., Volume 4

Jürgen Dix, Ulrich Furbach, Anil Nerode - Computers - 1997 - 452 pages
Development and environment problems have reached such alarming proportions that the very survival of humanity is now subject to critical and unprecedented threats. In its ...
Limited preview - About this book

Reasoning with Actual and Potential Contradictions: Volume 2: Reasoning with ...

Dov M. Gabbay - Computers - 1998 - 333 pages
This volume deals with approaches to handling contradictory information. These include approaches for actual contradiction - both A and not-A can be proven from the information ...
Limited preview - About this book

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