scientific article; zbMATH DE number 4001516

MaRDI QIDQ4728284zbMATH OpenFDO

Authors Yves Kodratoff

Publication date 1986

zbMATH Keywords

Explanation Based LearningMachine LearningSimilarity Based Learning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 798660
• scientific article; zbMATH DE number 67852
• Machine learning from examples: Inductive and Lazy methods
• A new application for explanation-based generalisation within automated deduction
• scientific article; zbMATH DE number 108112

Cited in

(3)

• Learning domain knowledge to improve theorem proving
• Learning-assisted theorem proving with millions of lemmas
• A Generalization of the Theory of Expertons

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 Q4728284)