Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 45 related to Greek, Indian and Arabic Logic.   

Paradox and Paraconsistency: Conflict Resolution in the Abstract Sciences

John Woods - Mathematics - 2003 - 362 pages
In a world plagued by disagreement and conflict one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact these disciplines are ...
Limited preview - About this book

Fibring Logics

Dov M. Gabbay - Mathematics - 1998 - 488 pages
Modern applications of logic, in mathematics, theoretical computer science, and linguistics, require combined systems involving many different logics working together. In this ...
Limited preview - About this book

Belief Change

Dov M. Gabbay, Philippe Smets - Mathematics - 1998 - 453 pages
Belief change is an emerging field of artificial intelligence and information science dedicated to the dynamics of information and the present book provides a state-of-the-art ...
Limited preview - About this book

Practical Reasoning: International Conference on Formal and Applied ...

Dov M. Gabbay, Hans Jürgen Ohlbach - Computers - 1996 - 719 pages
This book constitutes the refereed proceedings of the International Conference on Formal and Applied Practical Reasoning, FAPR '96, held in Bonn, Germany, in June 1996. The 51 ...
Limited preview - About this book

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany ...

Dov M. Gabbay, Hans J. Ohlbach - Computers - 1994 - 551 pages
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a ...
Limited preview - About this book

Handbook of Tableau Methods

Marcello D'Agostino, Dov M. Gabbay, Reiner Hähnle, Joachim Posegga - Philosophy - 1999 - 670 pages
Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. A logic can be characterised in many different ways ...
Limited preview - About this book

Handbook of Defeasible Reasoning and Uncertainty Management Systems: Volume ...

Dov M. Gabbay, Philippe Smets, Jürg Kohlas - Computers - 2000 - 517 pages
The Handbook of Defeasible Reasoning and Uncertainty Management Systems is unique in its masterly survey of the computational and algorithmic problems of systems of applied ...
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

Quantified Representation of Uncertainty and Imprecision

Dov M. Gabbay, Philippe Smets - Philosophy - 1998 - 477 pages
We are happy to present the first volume of the Handbook of Defeasible Reasoning and Uncertainty Management Systems. Uncertainty pervades the real world and must therefore be ...
Limited preview - About this book




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