# Autoepistemic logic

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

1998

1998

- AAAI/IAAI
- 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

- AI*IA
- 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

- LPKR
- 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

- Studia Logica
- 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

- J. ACM
- 1995

Since Konolige's translation of default logic into strongly grounded autoepistemic logic, several other variants of Moore'sâ€¦Â (More)

Is this relevant?

1994

1994

- JELIA
- 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

- Journal of Automated Reasoning
- 1993

An autoepistemic logic programming language is derived from a subset of a three-valued autoepistemic logic, called 3AELâ€¦Â (More)

Is this relevant?

1993

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

- J. ACM
- 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

- AAAI
- 1987

In this paper we investigate some properties of "autoepistemic logic" approach to the formalization of common sense reasoningâ€¦Â (More)

Is this relevant?