Application of EA " J ) lanation-Based Generalization in Theorem Proving * TR 89-015 March 1989


This paper presentS a special case of Explanation-Based Generalization (EBG), Goal Generalization. Goal generalization. which cries to find a proof for the most general solvable ve~ion of a specific goal while solving the specific goal, is an application of EBG methods in automatic theorem proving and is a general technique applicable to many goal-oriented… (More)


  • Presentations referencing similar topics