Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,397,756 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
21 relations
Abductive reasoning
Analysis of algorithms
Answer set programming
Artificial intelligence
Expand
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
J. Delgrande
,
Torsten Schaub
Journal of Logic and Computation
2005
Corpus ID: 3190309
Reiter's default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Several variants of…
Expand
2003
2003
A deductive probabilistic and fuzzy object-oriented database language
T. Cao
,
J. Rossiter
Fuzzy Sets Syst.
2003
Corpus ID: 20587288
2002
2002
Credit derivatives in emerging markets
Romain G. Rancière
2002
Corpus ID: 166645700
Credit Derivatives are securities that offer protection against credit or default risk of bonds or loans. The credit derivatives…
Expand
Highly Cited
1995
Highly Cited
1995
Gender, Animacy, and Declensional Class Assignment: A Unified Account for Russian
N. Fraser
,
G. Corbett
1995
Corpus ID: 56628064
In an earlier paper we introduced Network Morphology, an approach to inflectional morphology which relies heavily on the notion…
Expand
1994
1994
Combining Default Logic Databases
Chitta Baral
,
Sarit Kraus
,
J. Minker
,
V. S. Subrahmanian
International Journal of Cooperative Information…
1994
Corpus ID: 207136065
During the past decade, it has become increasingly clear that the future generation of large-scale knowledge bases will consist…
Expand
1991
1991
Assertional Default Theories: A Semantical View
Torsten Schaub
International Conference on Principles of…
1991
Corpus ID: 19744330
1990
1990
A Possibilistic Assumption-Based Truth Maintenance System with Uncertain Justifications, and its Application to Belief Revision
D. Dubois
,
J. Lang
,
H. Prade
Truth Maintenance Systems
1990
Corpus ID: 18064035
In this paper we present an extension of the ATMS, called "possibilistic ATMS", where the management of uncertainty is integrated…
Expand
1989
1989
Issue spotting in a system for searching interpretation spaces
T. Gordon
International Conference on Artificial…
1989
Corpus ID: 1895767
A method for spotting issues is described which uses a system we are developing for searching interpretations spaces and…
Expand
Highly Cited
1988
Highly Cited
1988
Default Reasoning and Possibility Theory
D. Dubois
,
H. Prade
Artificial Intelligence
1988
Corpus ID: 35810788
Highly Cited
1986
Highly Cited
1986
GUMS₁ : A General User Modeling System
Timothy W. Finin
,
David Drager
Human Language Technology - The Baltic Perspectiv
1986
Corpus ID: 6980436
This paper describes a general architecture of a domain independent system for building and maintaining long term models of…
Expand
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)
ACCEPT & CONTINUE