- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Saturation, nonmonotonic reasoning and the closed-world assumption
Artificial Intelligence 25 (1):13-63 (1985)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
The epistemic basis of defeasible reasoning.Robert L. Causey - 1991 - Minds and Machines 1 (4):437-458.
On nonmonotonic reasoning with the method of sweeping presumptions.Steven O. Kimbrough & Hua Hua - 1991 - Minds and Machines 1 (4):393-416.
Nonmonotonic reasoning based on incomplete logic.Tuan-Fang Fan, I. -Peng Lin & Churn-Jung Liau - 1997 - Journal of Applied Non-Classical Logics 7 (4):375-395.
Nonmonotonic reasoning: logical foundations of commonsense.Gerhard Brewka (ed.) - 1991 - New York: Cambridge University Press.
Nonmonotonic Reasoning , Argumentation and Machine Learning 1 Introduction.Peter Clark - 1990 - Argumentation:1-11.
Is human reasoning about nonmonotonic conditionals probabilistically coherent?Niki Pfeifer & G. D. Kleiter - 2006 - In Proceedings of the 7 T H Workshop on Uncertainty Processing. pp. 138--150.
On Priest on Nonmonotonic and Inductive Logic.Greg Restall - 2016 - Thought: A Journal of Philosophy 5 (2):119-124.
Nonmonotonic Logics: Basic Concepts, Results, and Techniques.Karl Schlechta - 1997 - Lecture Notes in Artificial Intelligence.
Nonmonotonic Reasoning: An Overview.Gerhard Brewka, Jürgen Dix & Kurt Konolige - 1997 - Center for the Study of Language and Inf.
For the Sake of the Argument: Ramsey Test Conditionals, Inductive Inference and Nonmonotonic Reasoning.Isaac Levi - 1996 - New York, NY, USA: Cambridge University Press.
Foundations of Everyday Practical Reasoning.Hanti Lin - 2013 - Journal of Philosophical Logic 42 (6):831-862.
Analytics
Added to PP
2020-12-22
Downloads
17 (#871,044)
6 months
14 (#181,672)
2020-12-22
Downloads
17 (#871,044)
6 months
14 (#181,672)
Historical graph of downloads
Citations of this work
On the complexity of propositional knowledge base revision, updates, and counterfactuals.Thomas Eiter & Georg Gottlob - 1992 - Artificial Intelligence 57 (2-3):227-270.
On the satisfiability of circumscription.Vladimir Lifschitz - 1986 - Artificial Intelligence 28 (1):17-27.
On the relationship between circumscription and negation as failure.Michael Gelfond, Halina Przymusinska & Teodor Przymusinski - 1989 - Artificial Intelligence 38 (1):75-94.
Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
An algorithm to compute circumscription.Teodor C. Przymusinski - 1989 - Artificial Intelligence 38 (1):49-73.
References found in this work
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.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5ff6c685cb-ldh8k uwo