Pages that link to "Item:Q1187215"
From MaRDI portal
The following pages link to Cumulative default logic: In defense of nonmonotonic inference rules (Q1187215):
Displayed 28 items.
- Graph theoretical structures in logic programs and default theories (Q672050) (← links)
- On prediction in Theorist (Q685340) (← links)
- Reasoning by cases in Default Logic (Q1128615) (← links)
- A logic for reasoning with inconsistent knowledge (Q1199925) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Recovery of (non)monotonic theories (Q1275600) (← links)
- Characterizations and algorithms of extensions for CADL and QDL (Q1288432) (← links)
- On cumulative default logics (Q1321059) (← links)
- Operational concepts of nonmonotonic logics. I: Default logic (Q1333283) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- Alternative approaches to default logic (Q1342221) (← links)
- Operational characterization of extensions in some logics for default reasoning (Q1364501) (← links)
- Compiling specificity into approaches to nonmonotonic reasoning (Q1402752) (← links)
- Alternative foundations for Reiter's default logic (Q1589575) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- Default reasoning by deductive planning (Q1896366) (← links)
- A new methodology for query answering in default logics via structure-oriented theorem proving (Q1896370) (← links)
- Consistency defaults (Q2454638) (← links)
- Abductive inference in defeasible reasoning: a model for research programmes (Q2565607) (← links)
- REPRESENTING DEFAULTS IN THE FRAMEWORK OF POSSIBILITY THEORY∗ (Q3130057) (← links)
- Towards a classification of defaults logics (Q4380300) (← links)
- Studying properties of classes of default logics (Q4421278) (← links)
- Relevance Sensitive Non-Monotonic Inference on Belief Sequences (Q4443395) (← links)
- Declarative Representation of Revision Strategies* (Q4443396) (← links)
- Analytic tableaux for default logics (Q4868235) (← links)
- Nonmonotonic reasoning by inhibition nets (Q5941136) (← links)
- An argument-based approach to reasoning with specificity (Q5958392) (← links)
- Artificial nonmonotonic neural networks (Q5958708) (← links)