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

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
We outline an approach for reasoning about events and time within a logic programming framework. The notion of event is taken to… Expand
  • figure 1
  • figure 10
  • figure 12
  • figure 15
Is this relevant?
Highly Cited
2008
Highly Cited
2008
The work in this paper is directed towards sophisticated formalisms for reasoning under probabilistic uncertainty in ontologies… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
This paper examines the ex post and ex ante benefits of accounting conservatism to lenders and borrowers in the debt contracting… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Abstract We present an abstract framework for default reasoning, which includes Theorist, default logic, logic programming… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Hybrid KL-ONE-style logics are knowledge representation formalisms of considerable applicative interest, as they are specifically… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
  • D. Poole
  • Artif. Intell.
  • 1988
  • Corpus ID: 44496670
Abstract This paper presents a simple logical framework for default reasoning. The semantics is normal first-order model theory… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper describes a uniform formalization of much of the current work in artificial intelligence on inference systems. We show… Expand
Is this relevant?
Highly Cited
1987
Highly Cited
1987
Abstract Nonmonotonic formal systems have been proposed as an extension to classical first-order logic that will capture the… Expand
Is this relevant?
Highly Cited
1980
Highly Cited
1980
  • R. Reiter
  • Artif. Intell.
  • 1980
  • Corpus ID: 16338450
The need to make default assumptions is frequently encountered in reasoning about incompletely specified worlds. Inferences… Expand
  • figure 1
  • figure 4
Is this relevant?