The importance of open and recursive circumscription

, &
Artificial Intelligence 39 (2):251-262 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(89)90029-5

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,743

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

Philippe Besnard. An introduction to default logic. Symbolic computation, artificial intelligence series. Springer-Verlag, Berlin etc. 1989, xi + 208 pp. [REVIEW]V. Wiktor Marek - 1998 - Journal of Symbolic Logic 63 (4):1608-1610.
Circumscription.Manfred Jaeger - 1993 - Artificial Intelligence 60 (2):293-301.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Stable models and circumscription.Paolo Ferraris, Joohyung Lee & Vladimir Lifschitz - 2011 - Artificial Intelligence 175 (1):236-263.
History of circumscription.John McCarthy - 1993 - Artificial Intelligence 59 (1-2):23-26.
Value minimization in circumscription.China Baral, Alfredo Gabaldon & Alessandro Provetti - 1998 - Artificial Intelligence 102 (2):163-186.
Abstract minimality and circumscription.Churn Jung Liau & Bertrand I.-Peng Lin - 1992 - Artificial Intelligence 54 (3):381-396.
Closed-world databases and circumscription.Vladimir Lifschitz - 1985 - Artificial Intelligence 27 (2):229-235.
Results on translating defaults to circumscription.Tomasz Imielinski - 1987 - Artificial Intelligence 32 (1):131-146.
Loop formulas for circumscription.Joohyung Lee & Fangzhen Lin - 2006 - Artificial Intelligence 170 (2):160-185.

Analytics

Added to PP
2020-12-22

Downloads
12 (#1,455,025)

6 months
5 (#860,126)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abstract minimality and circumscription.Churn Jung Liau & Bertrand I.-Peng Lin - 1992 - Artificial Intelligence 54 (3):381-396.

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.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
The mathematics of non-monotonic reasoning.Martin Davis - 1980 - Artificial Intelligence 13 (1-2):73-80.

View all 7 references / Add more references