Hybridizing nonmonotonic inheritance with theorem proving

DOI10.1007/BF01535525MaRDI QIDQ1356176zbMATH OpenFDO

Authors Richmond H. Thomason, John M. Aronis

Publication date 9 November 1997

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

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

Mathematics Subject Classification ID

Cites work

• A curious inference
• A semantical study of constructible falsity
• A skeptical theory of inheritance in nonmonotonic semantic networks
• Automated deduction by theory resolution
• scientific article; zbMATH DE number 3694633 (Why is no real title available?)
• scientific article; zbMATH DE number 43242 (Why is no real title available?)
• Netl and subsequent path-based inheritance theories
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• Untersuchungen über das logische Schliessen. I

This page was built for publication: Hybridizing nonmonotonic inheritance with theorem proving

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