Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,033,960 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.
2012
2012
Integration of Accounting-Based and Option-Based Models to Predict Construction Contractor Default
L. Tsai
,
H. Tserng
,
Hsien-Hsing Liao
,
Po-Cheng Chen
,
Wenpeng Wang
2012
Corpus ID: 55658393
This paper aims to predict construction contractor default, which is excluded by most extant studies, due to the distinct…
Expand
2009
2009
SECOND LAW PERFORMANCE ANALYSIS OF A LARGE THERMAL ENERGY STORAGE VESSEL USING CFD
A. Rysanek
2009
Corpus ID: 107893971
Thesis (Master, Mechanical and Materials Engineering) -- Queen's University, 2009-09-18 05:50:58.362
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
1998
1998
An Interpretation of Default Logic in Minimal Temporal Epistemic Logic
J. Engelfriet
,
Jan Treur
Journal of Logic, Language and Information
1998
Corpus ID: 18364938
When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an…
Expand
1994
1994
Combining Default Logic Databases
Chitta Baral
,
Sarit Kraus
,
J. Minker
,
V. 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
1994
1994
A dynamic logic for reasoning about sub-ideal states
F. Dignum
,
J. Meyer
,
R. Wieringa
1994
Corpus ID: 16442257
In this paper, we will show how dynamic logic can be used to reason about so-called sub-ideal states, i.e. states in which some…
Expand
1992
1992
Tractable Deduction in Knowledge Representation Systems
M. Dalal
International Conference on Principles of…
1992
Corpus ID: 630494
A widely-used way to deal with the in-tractability of various deduction problems is based on identifying their tractable cases…
Expand
Review
1992
Review
1992
Considerations on default logics
Torsten Schaub
1992
Corpus ID: 36752206
The ability to reason seems to be one of the distinguishing marks of intelligent behavior. However, the available underlying…
Expand
1991
1991
Assertional Default Theories: A Semantical View
Torsten Schaub
International Conference on Principles of…
1991
Corpus ID: 19744330
1986
1986
A Hybrid Structured Object and Constraint Representation Language
David R. Harris
AAAI Conference on Artificial Intelligence
1986
Corpus ID: 18317228
SOCLE is a hybrid representation system in which cells of constraints are identified with slots of frame networks. Constraint…
Expand