Consistency defaults

DOI10.1007/s11225-007-9047-8zbMath1125.03022OpenAlexW3191655765MaRDI QIDQ2454638

Paolo Liberatore

Publication date: 16 October 2007

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-007-9047-8

zbMATH Keywords

consistencynonmonotonic reasoningdefault rulesdefault logics

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the relation between default and autoepistemic logic
• A logic for default reasoning
• Cumulative default logic: In defense of nonmonotonic inference rules
• On cumulative default logics
• Alternative approaches to default logic
• On the logic of theory change: Partial meet contraction and revision functions
• Negation as failure in the head
• Uncontroversial Default Logic
• A three-valued approach to default logic