Non-standard logics for automated reasoning

San Diego: Academic Press (1988)
  Copy   BIBTEX

Abstract

Although there are a few books available that give brief surveys of a variety of nonstandard logics, there is a growing need for a critical presentation providing both a greater depth and breadth of insight into these logics. This book assembles a wider and deeper view of the many potentially applicable logics. Three appendixes provide short tutorials on classical logic and modal logics, and give a brief introduction to the existing literature on the logical aspects of probability theory. These tutorials and the bibliography included in the appendixes provide useful reference material for the reader.

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 97,319

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Autoepistemic logic.Robert C. Moore - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 105--136.
Inheritance in semantic networks and default logic.C. Froidevaux & D. Kayser - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 179--212.
Formal expression of time in a knowledge base.Eugene Chouraqui - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 81--103.

Analytics

Added to PP
2009-01-28

Downloads
64 (#266,889)

6 months
10 (#592,147)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Knowledge-driven versus data-driven logics.Didier Dubois, Petr Hájek & Henri Prade - 2000 - Journal of Logic, Language and Information 9 (1):65--89.
The nature of nonmonotonic reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
Multiple agent possibilistic logic.Asma Belhadi, Didier Dubois, Faiza Khellaf-Haned & Henri Prade - 2013 - Journal of Applied Non-Classical Logics 23 (4):299-320.

Add more citations

References found in this work

No references found.

Add more references