LT Revisited: Explanation-Based Learning and the Logic of Principia Mathematica

• 1 January 1989
• journal article
• Published by Springer Nature in Machine Learning
• Vol. 4  (2) , 117-159
• https://doi.org/10.1023/a:1022647915955

Abstract

Keywords

• PROBLEMS
• EBL
• PRINCIPIA MATHEMATICA
• LEARNING
• LOGIC
• EXPLANATION BASED