Craig Knoblock Automatically Generating Abstractions for Problem Solving Degree Type: Ph.D. in Computer Science Advisor(s): Jaime Carbonell Graduated: May 1991