O'Rorke, Paul

2 publications

MLJ 1993 Explanation-Based Learning for Diagnosis Yousri El Fattah, Paul O'Rorke

MLJ 1989 LT Revisited: Explanation-Based Learning and the Logic of Principia Mathematica Paul O'Rorke