Scott Dietzen A Language for Higher-Order Explanation-Based Learning Degree Type: Ph.D. in Computer Science Advisor(s): Frank Pfenning, William Scherlis Graduated: May 1992