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: 92,873

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 the logic of acceptance and rejection.Anna Gomolińska - 1998 - Studia Logica 60 (2):233-251.
Many-valued reflexive autoepistemic logic.C. Koutras & S. Zachos - 2000 - Logic Journal of the IGPL 8 (1):33-54.
Computation of the semantics of autoepistemic belief theories.Stefan Brass, Jürgen Dix & Teodor C. Przymusinski - 1999 - Artificial Intelligence 112 (1-2):233-250.
A nonmonotonic modal formalization of the logic of acceptance and rejection.Anna Gomolińska - 1997 - Studia Logica 58 (1):113-127.
Invitation to Autoepistemology.Lloyd Humberstone - 2002 - Theoria 68 (1):13-51.
On embedding default logic into Moore's autoepistemic logic.Grigori Schwarz - 1996 - Artificial Intelligence 80 (2):349-359.
Introspection, mindreading, and the transparency of belief.Uwe Peters - 2018 - European Journal of Philosophy 26 (3):1086-1102.
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.
Logic Programming and Knowledge Representation: Third International Workshop, LPKR '97, Port Jefferson, New York, USA, October 1997, Selected Papers'. [REVIEW]Jürgen Dix, Luís Moniz Pereira & Teodor C. Przymusinski - 2001 - Studia Logica 68 (2):299-300.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.
Autoepistemic logic.Robert C. Moore - 1988 - In Philippe Smets (ed.), Non-standard logics for automated reasoning. San Diego: Academic Press. pp. 105--136.
Default Reasoning, Belief, and Context.John Andrew Schwartz - 1996 - Dissertation, The University of Texas at Austin
The epistemic significance of consensus.Aviezer Tucker - 2003 - Inquiry: An Interdisciplinary Journal of Philosophy 46 (4):501 – 521.
Intuitionistic autoepistemic logic.Luigia Aiello, Giambattista Amati, Fiora Pirri & Fondazione Ugo Bordoni - 1997 - Studia Logica 59.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,060,918)

6 months
9 (#352,506)

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