Default logic

Known as: Default, Default reasoning, Default theory 
Default logic is a non-monotonic logic proposed by Raymond Reiter to formalize reasoning with default assumptions. Default logic can express facts… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
1999
1999
Default logic was proposed by Reiter as a knowledge representation tool. In this paper, we present our work on the Default… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming, autoepistemic… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In a recent paper we have proposed terminological default logic as a formalism that combines means both for structured… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
A b s t r a c t . Reiter's Default Logic (DL) is one of the most popular forrealizations of default reasoning. Nevertheless, the… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We present here because it will be so easy for you to access the internet service. As in this new era, much technology is… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of… (More)
Is this relevant?
Highly Cited
1989
Highly Cited
1989
Kautz, H.A. and B. Selman, Hard problems for simple default logics, Artificial Intelligence 49 (1991) 243-279. We investigate the… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper presents a simple logical framework for default reasoning. The semantics is normal first order model theory; instead… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
Dans I’article qui suit, nous analysons la logique implicite de Reiter et proposons de modifier la notion d’une extension des… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1980
Highly Cited
1980
The need to make default assumptions is frequently encountered in reasoning'about incompletely specified worlds. Inferences… (More)
  • figure 1
  • figure 4
Is this relevant?