The following pages link to On cumulative default logics (Q1321059):
Displaying 10 items.
- Cumulative default logic: In defense of nonmonotonic inference rules (Q1187215) (← links)
- Prolog technology for default reasoning: proof theory and compilation techniques (Q1275596) (← links)
- Characterizations and algorithms of extensions for CADL and QDL (Q1288432) (← links)
- Cumulative default logic: Finite characterization, algorithms, and complexity (Q1337685) (← links)
- Defaults as restrictions on classical Hilbert-style proofs (Q1895976) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Consistency defaults (Q2454638) (← links)
- Seminormalizing a default theory (Q3647232) (← links)
- Towards a classification of defaults logics (Q4380300) (← links)
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty (Q5900649) (← links)