New proofs in default logic theory

DOI10.1007/BF01530786zbMATH Open0856.03022DBLPjournals/amai/AntoniouLS94WikidataQ58198182 ScholiaQ58198182MaRDI QIDQ1924751FDOQ1924751

Volker Sperschneider, Grigoris Antoniou, Elmar Langetepe

Publication date: 20 October 1996

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

Recommendations

• Operational concepts of nonmonotonic logics. I: Default logic
• Defaults as restrictions on classical Hilbert-style proofs
• scientific article
• Ordered seminormal default theories and their extensions

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

• A logic for default reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formalizing nonmonotonic reasoning systems
• Title not available (Why is that?)

Cited In (4)

• A new proof of the fixed-point theorem of provability logic
• Title not available (Why is that?)
• A proof method for closed normal default theories
• ON PROOFS IN SYSTEM P

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924751)