scientific article; zbMATH DE number 2086334

zbMATH Open1052.68707MaRDI QIDQ3044504FDOQ3044504

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Cited In (5)

• Clausal presentation of theories in deduction modulo
• Hypothesis finding based on upward refinement of residue hypotheses.
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)