scientific article; zbMATH DE number 2086334

MaRDI QIDQ3044504zbMATH OpenFDO

Authors Akihiro Yamamoto, Bertram Fronhöfer

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2281/22810246.htm

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Hypothesis finding based on upward refinement of residue hypotheses.
• scientific article; zbMATH DE number 2080447
• Hypothesis finding with proof theoretical appropriateness criteria
• Induction as consequence finding
• Induction as consequence finding

Cited in

(5)

• Clausal presentation of theories in deduction modulo
• Hypothesis finding based on upward refinement of residue hypotheses.
• scientific article; zbMATH DE number 1966623 (Why is no real title available?)
• scientific article; zbMATH DE number 2080447 (Why is no real title available?)
• Hypothesis finding with proof theoretical appropriateness criteria

This page was built for publication:

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