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.
Highly Cited
2012
Highly Cited
2012
Equational approach to argumentation networks
This paper provides equational semantics for Dung’s argumentation networks. The network nodes get numerical values in [0,1], and… 
Highly Cited
1993
Highly Cited
1993
First order abduction via tableau and sequent calculi
The formalization of abductive reasoning is still an open question: there is no general agreement on the boundary of some basic… 
Highly Cited
1991
Highly Cited
1991
Nonmonotonicity and the Scope of Reasoning
Highly Cited
1990
Highly Cited
1990
Autoepistemic Modal Logics
A modal approach to nonmonotonic reasoning was proposed by Drew McDermott and Jon Doyle in 1980--82. Almost immediately some… 
Highly Cited
1989
Highly Cited
1989
Miracles in Formal Theories of Action
Highly Cited
1989
Highly Cited
1989
Default Reasoning in Semantic Networks: A Formalization of Recognition and Inheritance
Highly Cited
1988
Highly Cited
1988
Default Reasoning and Possibility Theory
Highly Cited
1987
Highly Cited
1987
An Approach to Default Reasoning Based on a First-Order Conditional Logic
This paper presents an approach to default reasoning based on an extension to classical first-order logic. In this approach… 
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… 
Highly Cited
1985
Highly Cited
1985
On the adequacy of predicate circumscription for closed‐world reasoning
We focus on McCarthy's method of predicate circumscription in order to establish various results about its consistency, and about… 
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)