Autoepistemic logic of knowledge and beliefs

Artificial Intelligence 95 (1):115-154 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(97)00032-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,612

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.
Autoepistemic logic revisited.Robert C. Moore - 1993 - Artificial Intelligence 59 (1-2):27-30.
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 autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.
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.
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 answer set programming.Pedro Cabalar, Jorge Fandinno & Luis Fariñas del Cerro - 2020 - Artificial Intelligence 289 (C):103382.
Logic Programming and Non-monotonic Reasoning: Proceedings of the First International Workshop.Wiktor Marek, Anil Nerode, V. S. Subrahmanian & Association for Logic Programming - 1991 - MIT Press (MA).

Analytics

Added to PP
2020-12-22

Downloads
13 (#288,494)

6 months
9 (#1,260,759)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

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.
Minimal belief and negation as failure.Vladimir Lifschitz - 1994 - Artificial Intelligence 70 (1-2):53-72.

Add more references