- 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
On the relation between default and autoepistemic logic
Artificial Intelligence 35 (3):343-382 (1988)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
On embedding default logic into Moore's autoepistemic logic.Grigori Schwarz - 1996 - Artificial Intelligence 80 (2):349-359.
Uniform semantic treatment of default and autoepistemic logics.Marc Denecker, Victor W. Marek & Mirosław Truszczyński - 2003 - Artificial Intelligence 143 (1):79-122.
Autoepistemic logic of knowledge and beliefs.Teodor C. Przymusinski - 1997 - Artificial Intelligence 95 (1):115-154.
All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.
Autoepistemic equilibrium logic and epistemic specifications.Ezgi Iraz Su, Luis Fariñas del Cerro & Andreas Herzig - 2020 - Artificial Intelligence 282 (C):103249.
On the relation between default and modal nonmonotonic reasoning.Alexander Bochman - 1998 - Artificial Intelligence 101 (1-2):1-34.
Computation of the semantics of autoepistemic belief theories.Stefan Brass, Jürgen Dix & Teodor C. Przymusinski - 1999 - Artificial Intelligence 112 (1-2):233-250.
Possible world semantics and autoepistemic reasoning.Liwu Li - 1994 - Artificial Intelligence 71 (2):281-320.
Analytics
Added to PP
2020-12-22
Downloads
12 (#317,170)
6 months
2 (#1,816,284)
2020-12-22
Downloads
12 (#317,170)
6 months
2 (#1,816,284)
Historical graph of downloads
Citations of this work
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games.Phan Minh Dung - 1995 - Artificial Intelligence 77 (2):321-357.
Conditionals and theory change: Revisions, expansions, and additions.Hans Rott - 1989 - Synthese 81 (1):91-113.
The computational complexity of ideal semantics.Paul E. Dunne - 2009 - Artificial Intelligence 173 (18):1559-1591.
Approximating operators and semantics for abstract dialectical frameworks.Hannes Strass - 2013 - Artificial Intelligence 205 (C):39-70.
References found in this work
Circumscription — A Form of Non-Monotonic Reasoning.John McCarthy - 1980 - Artificial Intelligence 13 (1-2):27–39.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.
Results on translating defaults to circumscription.Tomasz Imielinski - 1987 - Artificial Intelligence 32 (1):131-146.
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-6686886f5-7g5mb uwo