Hybridizing nonmonotonic inheritance with theorem proving

DOI10.1007/BF01535525zbMath0875.68759MaRDI QIDQ1356176

Richmond H. Thomason, John M. Aronis

Publication date: 9 November 1997

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

Mathematics Subject Classification ID

Cites Work

• Unnamed Item
• Unnamed Item
• A curious inference
• The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning
• Netl and subsequent path-based inheritance theories
• Automated deduction by theory resolution
• Untersuchungen über das logische Schliessen. I
• A skeptical theory of inheritance in nonmonotonic semantic networks
• A semantical study of constructible falsity

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