Circumscription within monotonic inferences

Journal of Symbolic Logic 53 (3):888-904 (1988)
  Copy   BIBTEX

Abstract

A conservative extension of first order logic, suitable for circumscriptive inference, is introduced

Categories

Keywords

Reprint years

DOI

10.2307/2274579

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

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

Through your library

My notes

Similar books and articles

Non-monotonic logic.G. Aldo Antonelli - 2008 - Stanford Encyclopedia of Philosophy.
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
Incompatibility Semantics from Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.
A Semantic Approach to Non-Monotonic Conditionals.James Hawthorne - 1988 - In J. F. Lemmer & L. N. Kanal (eds.), Uncertainty in Artificial Intelligence 2. Elsevier.
Why non-monotonic logic is inadequate to represent balancing arguments.Jan-R. Sieckmann - 2003 - Artificial Intelligence and Law 11 (2-3):211-219.
A general theory of structured consequence relations.Dov M. Gabbay - 1995 - Theoria 10 (2):49-78.
Actions and other events in situation calculus.John McCarthy - manuscript
Non-monotonic inference.Keith Frankish - 2005 - In Alex Barber (ed.), Encyclopedia of Language and Linguistics. Elsevier.

Analytics

Added to PP
2009-01-28

Downloads
19 (#778,470)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
The mathematics of non-monotonic reasoning.Martin Davis - 1980 - Artificial Intelligence 13 (1-2):73-80.
Completeness results for circumscription.Donald Perlis & Jack Minker - 1986 - Artificial Intelligence 28 (1):29-42.

Add more references