Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Autoepistemic logic

The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2004
Highly Cited
2004
The Gelfond-Lifschitz operator associated with a logic program (and likewise the operator associated with default theories by… Expand
  • figure 1
  • figure 2
Is this relevant?
1998
1998
This paper concentrates on comparing the relative expressive power of five non-monotonic logics that have appeared in the… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Since Konolige's translation of default logic into strongly grounded autoepistemic logic, several other variants of Moore's… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1992
Highly Cited
1992
 
  • figure 1
  • table 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Abstract Current approaches to formalizing nonmonotonic reasoning using logics of belief require the definition of new… Expand
Is this relevant?
Highly Cited
1990
Highly Cited
1990
A modal approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980--82. Almost immediately some… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Abstract Default logic is a formal means of reasoning about defaults: what normally is the case, in the absence of contradicting… Expand
Is this relevant?
1988
1988
Autoepistemic logic is a nonmonotonic logic for modeling the beliefs of an ideally rational agent who reflects on his own beliefs… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
We propose a unifying framework for nonmonotonic logics, which subsumes previously published systems, and at the same time is… Expand
Is this relevant?
Highly Cited
1984
Highly Cited
1984
Abstract : In a previous paper [Moore, 1983a, 1983b], we presented a nonmonotonic logic for modeling the beliefs of ideally… Expand
Is this relevant?