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… 
2003
2003
A deductive probabilistic and fuzzy object-oriented database language
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… 
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… 
1991
1991
Assertional Default Theories: A Semantical View
1990
1990
A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision
In this paper we present an extension of the ATMS, called "possibilistic ATMS", where the management of uncertainty is integrated… 
1989
1989
Issue spotting in a system for searching interpretation spaces
A method for spotting issues is described which uses a system we are developing for searching interpretations spaces and… 
Highly Cited
1988
Highly Cited
1988
Default Reasoning and Possibility Theory
Highly Cited
1986
Highly Cited
1986
GUMS₁ : A General User Modeling System
This paper describes a general architecture of a domain independent system for building and maintaining long term models of… 
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)