On cumulative default logics

DOI10.1016/0004-3702(94)90006-XzbMath0803.68126WikidataQ58207633 ScholiaQ58207633MaRDI QIDQ1321059

Laura Giordano, Alberto Martelli

Publication date: 2 January 1995

Published in: Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

cumulativitycumulative default logicsemimonotonic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (7)

Defaults as restrictions on classical Hilbert-style proofs ⋮ Redundancy in logic. III: Non-monotonic reasoning ⋮ Consistency defaults ⋮ Towards a classification of defaults logics ⋮ Prolog technology for default reasoning: proof theory and compilation techniques ⋮ Seminormalizing a default theory ⋮ Characterizations and algorithms of extensions for CADL and QDL

Cites Work

• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On cumulative default logics