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

default logicnonmonotonic 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

• A logic for default reasoning
• Formalizing nonmonotonic reasoning systems
• 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?)

Cited in

(4)

• ON PROOFS IN SYSTEM P
• scientific article; zbMATH DE number 3937155 (Why is no real title available?)
• A proof method for closed normal default theories
• A new proof of the fixed-point theorem of provability logic

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)