Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

21 relations
Abductive reasoningAnalysis of algorithmsAnswer set programmingArtificial intelligence

Broader (1)

Logic programming

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2005
2005
Expressing Default Logic Variants in Default Logic
Reiter's default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of… 
Review
2003
Review
2003
Defining fuzzy relationships in object models: abstraction and interpretation
  • V. Cross
  • Fuzzy Sets Syst.
  • 2003
  • Corpus ID: 206017788
2002
2002
Credit derivatives in emerging markets
Credit Derivatives are securities that offer protection against credit or default risk of bonds or loans. The credit derivatives… 
1997
1997
Defeasible Specifications in Action Theories
Recent research in formalizing effects of actions on a world in the presence of constraints have mostly concentrated on non… 
1996
1996
A Case Study in Reasoning about Actions and Continuous Change
This paper shows how the Situation Calculus can be extended to deal both with ‘narratives’ and with domains containing real… 
Highly Cited
1995
Highly Cited
1995
Gender, Animacy, and Declensional Class Assignment: A Unified Account for Russian
In an earlier paper we introduced Network Morphology, an approach to inflectional morphology which relies heavily on the notion… 
1994
1994
Combining Default Logic Databases
During the past decade, it has become increasingly clear that the future generation of large-scale knowledge bases will consist… 
Review
1992
Review
1992
Considerations on default logics
The ability to reason seems to be one of the distinguishing marks of intelligent behavior. However, the available underlying… 
1991
1991
Assertional Default Theories: A Semantical View
1991
1991
Hierarchical Default Logic
We present a formal framework for ordered default reasoning which has desirable mathematical properties yet is relatively simple… 
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)