scientific article; zbMATH DE number 4051039

MaRDI QIDQ3787520zbMATH OpenFDO

Authors M. R. Donat, Lincoln Wallen

Publication date 1988

zbMATH Keywords

explanation based learninggeneralizinghigher order unificationproblem solversresolutiontheorem provers

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• A new application for explanation-based generalisation within automated deduction
• scientific article; zbMATH DE number 4047177
• Publication:3493276
• scientific article; zbMATH DE number 1301764
• scientific article; zbMATH DE number 1149430

Cited in

(7)

• Proving theorems by reuse
• Tractable and intractable second-order matching problems
• scientific article; zbMATH DE number 4166897 (Why is no real title available?)
• Higher-order unification with dependent function types
• A new application for explanation-based generalisation within automated deduction
• Decidable higher-order unification problems
• Programming by example and proving by example using higher-order unification

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