Uniform semantic treatment of default and autoepistemic logics

, &
Artificial Intelligence 143 (1):79-122 (2003)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(02)00293-x

Links

PhilArchive



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

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

Many-valued reflexive autoepistemic logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
A Structural Property On Modal Frames Characterizing Default Logic.Gianni Amati, Luigia Aiello, Dov Gabbay & Fiora Pirri - 1996 - Logic Journal of the IGPL 4 (1):7-22.
Default Reasoning, Belief, and Context.John Andrew Schwartz - 1996 - Dissertation, The University of Texas at Austin
Towards a classification of defaults logics.Thomas Link & Torsten Schaub - 1997 - Journal of Applied Non-Classical Logics 7 (4):397-451.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.
Seminormalizing a default theory.Paolo Liberatore - 2005 - Journal of Applied Non-Classical Logics 15 (3):321-340.
Many-valued non-monotonic modal logics.Melvin Fitting - unknown
Uniform and non uniform strategies for tableaux calculi for modal logics.Stéphane Demri - 1995 - Journal of Applied Non-Classical Logics 5 (1):77-96.
Computing with default logic.Paweł Cholewiński, Victor W. Marek, Mirosław Truszczyński & Artur Mikitiuk - 1999 - Artificial Intelligence 112 (1-2):105-146.
Inheritance in semantic networks and default logic.C. Froidevaux & D. Kayser - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press. pp. 179--212.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Autoepistemic logic.Robert C. Moore - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press. pp. 105--136.
On the degree of complexity of sentential logics, III. An example of Johansson's minimal logic.Jacek Hawranek - 1987 - Studia Logica 46 (4):283 - 289.
On embedding default logic into Moore's autoepistemic logic.Grigori Schwarz - 1996 - Artificial Intelligence 80 (2):349-359.
Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2020 - Australasian Journal of Philosophy 98 (1):153-177.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,590,841)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

View all 10 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
All I know: A study in autoepistemic logic.Hector J. Levesque - 1990 - Artificial Intelligence 42 (2-3):263-309.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.

View all 6 references / Add more references