Circumscription — A Form of Non-Monotonic Reasoning

Artificial Intelligence 13 (1-2):27–39 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(80)90011-9

Links

PhilArchive



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

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

Cyrkumskrypcja: formalizacja rozumowania niemonotonicznego w logice drugiego rzędu.Michał Tyburski - 2009 - Filozofia Nauki 17 (1).
Non-monotonic inference.Keith Frankish - 2005 - In Alex Barber (ed.), Encyclopedia of Language and Linguistics. Elsevier.
Actions and other events in situation calculus.John McCarthy - manuscript
Circumscriptive theories: A logic-based framework for knowledge representation. [REVIEW]Vladimir Lifshitz - 1988 - Journal of Philosophical Logic 17 (4):391 - 441.
A logical expression of reasoning.Arthur Buchsbaum, Tarcisio Pequeno & Marcelino Pequeno - 2007 - Synthese 154 (3):431 - 466.
Circumscription within monotonic inferences.E. G. K. López-Escobar - 1988 - Journal of Symbolic Logic 53 (3):888-904.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Monotonicity in Practical Reasoning.Kenneth G. Ferguson - 2003 - Argumentation 17 (3):335-346.
Semantic considerations on non-monotonic reasoning.Piotr Rychlik - 1989 - Warszawa: Instytut Podstaw Informatyki Polskiej Akademii Nauk.
Why non-monotonic logic is inadequate to represent balancing arguments.Jan-R. Sieckmann - 2003 - Artificial Intelligence and Law 11 (2-3):211-219.
Applications of Circumscription to Formalizing Common Sense Knowledge.John McCarthy - 1986 - Artificial Intelligence 28 (1):89–116.
General patterns for nonmonotonic reasoning: from basic entailments to plausible relations.O. Arieli & A. Avron - 2000 - Logic Journal of the IGPL 8 (2):119-148.
Displaying the modal logic of consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
A general theory of structured consequence relations.Dov M. Gabbay - 1995 - Theoria 10 (2):49-78.

Analytics

Added to PP
2013-09-16

Downloads
26 (#595,031)

6 months
10 (#251,846)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Defeasible Reasoning.John L. Pollock - 1987 - Cognitive Science 11 (4):481-518.
Book: Cognitive Design for Artificial Minds.Antonio Lieto - 2021 - London, UK: Routledge, Taylor & Francis Ltd.

View all 331 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.

Add more references