New proofs in default logic theory

DOI10.1007/BF01530786MaRDI QIDQ1924751zbMATH OpenDBLPWikidataFDO

Authors Grigoris Antoniou, Elmar Langetepe, Volker Sperschneider

Publication date 20 October 1996

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

Full work available at URL https://doi.org/10.1007/BF01530786

zbMATH Keywords

nonmonotonic logicdefault logicoperational interpretationordered, semi-normal default theories

Mathematics Subject Classification ID

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

Recommendations

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

Cites work

• scientific article; zbMATH DE number 53085 (Why is no real title available?)
• scientific article; zbMATH DE number 408781 (Why is no real title available?)
• scientific article; zbMATH DE number 980413 (Why is no real title available?)
• scientific article; zbMATH DE number 194964 (Why is no real title available?)
• A logic for default reasoning
• Formalizing nonmonotonic reasoning systems

Cited in

(4)

• A new proof of the fixed-point theorem of provability logic
• scientific article; zbMATH DE number 3937155 (Why is no real title available?)
• 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)