1. A heuristic programming study of theory formation in science;Buchanan,1971
2. A program for the solution of a class of geometric-analogy intelligence-test questions;Evans,1968
3. A computer program to learn production systems using a semantic net.;Hedrick,1974
4. Description and theoretical analysis (using schemata) of PLANNER: a language for proving theorems and manipulating models in a robot;Hewitt,1972
5. An interactive, heuristic program for learning transformational grammars;Klein,1970