Autoepistemic logic

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1998
1998
The paper presents a constructive 3-valued semantics for autoepistemic logic (AEL). We introduce a derivation operator and define… (More)
Is this relevant?
1997
1997
We investigate the epistemological properties of MKNF, Lif-schitz's logic of minimal knowledge and negation as failure. In… (More)
Is this relevant?
1997
1997
In this paper, we use autoepistemic reasoning semantics to classify various semantics for disjunctive logic programs with default… (More)
Is this relevant?
1997
1997
In this paper we propose intuitionistic logic as the minimal logic most suitable to define autoepistemic logic. We start from a… (More)
Is this relevant?
1995
1995
Since Konolige's translation of default logic into strongly grounded autoepistemic logic, several other variants of Moore's… (More)
  • figure 1
  • figure 2
Is this relevant?
1994
1994
An important problem in data and knowledge representation is the possibility of default rules that conflict. If the application… (More)
Is this relevant?
1993
1993
An autoepistemic logic programming language is derived from a subset of a three-valued autoepistemic logic, called 3AEL… (More)
  • figure I
Is this relevant?
1993
1993
In this paper we show that reflexive autoepistemic logic of Schwarz is a particularly convenient modal formalism for studying… (More)
Is this relevant?
Review
1991
Review
1991
Autoepistemic logic is one of the principal modes of nonmonotonicreasoning. It unifies several other modes of nonmonotonic… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
In this paper we investigate some properties of "autoepistemic logic" approach to the formalization of common sense reasoning… (More)
Is this relevant?