On cumulative default logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4166904 (Why is no real title available?)
- scientific article; zbMATH DE number 3930376 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 140378 (Why is no real title available?)
- scientific article; zbMATH DE number 611093 (Why is no real title available?)
- A logic for default reasoning
- Cumulative default logic: In defense of nonmonotonic inference rules
Cited in
(15)- A note on the cumulativity of justified default logic
- Studying properties of classes of default logics
- A Note on Cumulative Stereotypical Reasoning
- Consistency defaults
- Defaults as restrictions on classical Hilbert-style proofs
- Characterizations and algorithms of extensions for CADL and QDL
- Cumulative default logic: Finite characterization, algorithms, and complexity
- scientific article; zbMATH DE number 517029 (Why is no real title available?)
- scientific article; zbMATH DE number 140413 (Why is no real title available?)
- Seminormalizing a default theory
- Prolog technology for default reasoning: proof theory and compilation techniques
- scientific article; zbMATH DE number 762058 (Why is no real title available?)
- On the relation between Reiter's default logic and its (major) variants
- Towards a classification of defaults logics
- Redundancy in logic. III: Non-monotonic reasoning
This page was built for publication: On cumulative default logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1321059)
