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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

On embedding default logic into Moore's autoepistemic logic.Grigori Schwarz - 1996 - Artificial Intelligence 80 (2):349-359.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.
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.
On cumulative default logics.Laura Giordano & Alberto Martelli - 1994 - Artificial Intelligence 66 (1):161-179.
Hard problems for simple default logics.Henry A. Kautz & Bart Selman - 1991 - Artificial Intelligence 49 (1-3):243-279.
Default reasoning in semantic networks: A formalization of recognition and inheritance.Lokendra Shastri - 1989 - Artificial Intelligence 39 (3):283-355.
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.
Autoepistemic logic revisited.Robert C. Moore - 1993 - Artificial Intelligence 59 (1-2):27-30.
Autoepistemic logic of knowledge and beliefs.Teodor C. Przymusinski - 1997 - Artificial Intelligence 95 (1):115-154.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,320,757)

6 months
6 (#856,140)

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

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.
A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
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