New proofs in default logic theory

DOI10.1007/BF01530786zbMath0856.03022DBLPjournals/amai/AntoniouLS94WikidataQ58198182 ScholiaQ58198182MaRDI QIDQ1924751

Volker Sperschneider, Grigoris Antoniou, Elmar Langetepe

Publication date: 20 October 1996

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicdefault logicoperational interpretationordered, semi-normal default theories

Mathematics Subject Classification ID

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

Cites Work

• Formalizing nonmonotonic reasoning systems
• A logic for default reasoning
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: New proofs in default logic theory