Skip to search formSkip to main contentSkip to account menu

Autoepistemic logic

The autoepistemic logic is a formal logic for the representation and reasoning of knowledge about knowledge. While propositional logic can only… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Default logicLecture Notes in Computer ScienceModal logicNegation as failure

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1999
1999
Model Checking for Nonmonotonic Logics: Algorithms and Complexity
We study the complexity of model checking in proposit ional nonmonotonic logics. Specifically, we first define the problem of… 
1998
1998
On the Logic of Acceptance and Rejection
The logic of acceptance and rejection (AEL2) is a nonmonotonic formalism to represent states of knowledge of an introspective… 
1997
1997
Intuitionistic Autoepistemic Logic
In this paper we address the problem of combining a logic Λ with nonmonotonic modal logic. In particular we study the… 
1996
1996
Representing Autoepistemic Introspection in Terms of Default Rules
This paper addresses the relationship of Reiter's default logic, Moore's autoepistemic logic as well as Marek and Truszczyyski's… 
Review
1994
Review
1994
From Carnap's Modal Logic to Autoepistemic Logic
In his treatise Meaning and Necessity, Carnap introduced an original approach to modal logic which is quite different from the… 
1991
1991
Autoepistemic Logics of Closed Beliefs and Logic Programming
Moore's autoepistemic logic AEL proved to be a very successful approach to formalizing non-monotonic reasoning and logic… 
1991
1991
Programming in Autoepistemic Logic
We propose a language for programming in autoepistemic logic that extends the standard logic programming and incorporates… 
1991
1991
A Complete Logic for Autoepistemic Membership
The driving force behind the theory of non-monotonic reasoning is the wish to draw conclusions in the face of missing information… 
1990
1990
Autoepistemic Expansions with Incomplete Belief Introspection
The original definition of autoepistemic expansions requires an agent to know of every proposition, whether it is or is not in… 
1989
1989
Relating the TMS to Autoepistemic Logic
Truth maintenance systems have been studied by many authors and have become powerful tools in AI reasoning systems. From the… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)