All I know: A study in autoepistemic logic

Artificial Intelligence 42 (2-3):263-309 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(90)90056-6

Links

PhilArchive



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

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.
On the logic of acceptance and rejection.Anna Gomolińska - 1998 - Studia Logica 60 (2):233-251.
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.
Intuitionistic autoepistemic logic.Giambattista Amati, Luigia Carlucci-Aiello & Fiora Pirri - 1997 - Studia Logica 59 (1):103-120.
Autoepistemic logic revisited.Robert C. Moore - 1993 - Artificial Intelligence 59 (1-2):27-30.
On the relation between default and autoepistemic logic.Kurt Konolige - 1988 - Artificial Intelligence 35 (3):343-382.
Autoepistemic logic of knowledge and beliefs.Teodor C. Przymusinski - 1997 - Artificial Intelligence 95 (1):115-154.
Autoepistemic logic.Robert C. Moore - 1988 - In Philippe Smets (ed.), Non-Standard Logics for Automated Reasoning. Academic Press. pp. 105--136.
Default Reasoning, Belief, and Context.John Andrew Schwartz - 1996 - Dissertation, The University of Texas at Austin
Intuitionistic autoepistemic logic.Luigia Aiello, Giambattista Amati, Fiora Pirri & Fondazione Ugo Bordoni - 1997 - Studia Logica 59.
Autoepistemic equilibrium logic and epistemic specifications.Ezgi Iraz Su, Luis Fariñas del Cerro & Andreas Herzig - 2020 - Artificial Intelligence 282 (C):103249.
How can Searle avoid property dualism? Epistemic-ontological inference and autoepistemic limitation.Georg Northoff & Kristina Musholt - 2006 - Philosophical Psychology 19 (5):589-605.
A nonmonotonic modal formalization of the logic of acceptance and rejection.Anna Gomolińska - 1997 - Studia Logica 58 (1):113-127.
The epistemic structure of a theory of a game.Michael Bacharach - 1994 - Theory and Decision 37 (1):7-48.

Analytics

Added to PP
2020-12-22

Downloads
32 (#498,428)

6 months
14 (#178,038)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

How to reason defeasibly.John L. Pollock - 1992 - Artificial Intelligence 57 (1):1-42.
Abduction as belief revision.Craig Boutilier & Veronica Beche - 1995 - Artificial Intelligence 77 (1):43-94.

View all 53 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
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.
Non-monotonic logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.

View all 6 references / Add more references