Saturation, nonmonotonic reasoning and the closed-world assumption

&
Artificial Intelligence 25 (1):13-63 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(85)90040-2

Other Versions

No versions found

Links

PhilArchive

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

Assumption-based argumentation for closed and consistent defeasible reasoning.Francesca Toni - 2008 - In Takashi Washio, Ken Satoh, Hideaki Takeda & Akihiro Inokuchi, New Frontiers in Artificial Intelligence. Springer. pp. 390--402.
Formalizing nonmonotonic reasoning systems.David W. Etherington - 1987 - Artificial Intelligence 31 (1):41-85.
A causal approach to nonmonotonic reasoning.Alexander Bochman - 2004 - Artificial Intelligence 160 (1-2):105-143.
Compiling specificity into approaches to nonmonotonic reasoning.James P. Delgrande & Torsten H. Schaub - 1997 - Artificial Intelligence 90 (1-2):301-348.
Sound and efficient closed-world reasoning for planning.Oren Etzioni, Keith Golden & Daniel S. Weld - 1997 - Artificial Intelligence 89 (1-2):113-148.
Is intractability of nonmonotonic reasoning a real drawback?Marco Cadoli, Francesco M. Donini & Marco Schaerf - 1996 - Artificial Intelligence 88 (1-2):215-251.
Nonmonotonic reasoning in the framework of situation calculus.Andrew B. Baker - 1991 - Artificial Intelligence 49 (1-3):5-23.
Fixed-parameter complexity in AI and nonmonotonic reasoning.Georg Gottlob, Francesco Scarcello & Martha Sideri - 2002 - Artificial Intelligence 138 (1-2):55-86.
On the relation between default and modal nonmonotonic reasoning.Alexander Bochman - 1998 - Artificial Intelligence 101 (1-2):1-34.
Nonmonotonic reasoning, preferential models and cumulative logics.Sarit Kraus, Daniel Lehmann & Menachem Magidor - 1990 - Artificial Intelligence 44 (1-2):167-207.

Analytics

Added to PP
2020-12-22

Downloads
61 (#985,911)

6 months
15 (#804,438)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.

View all 28 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
The mathematics of non-monotonic reasoning.Martin Davis - 1980 - Artificial Intelligence 13 (1-2):73-80.
Editor's preface.Daniel G. Bobrow - 1980 - Artificial Intelligence 13 (1-2):1-4.

Add more references