Mechanical Discovery of Classes of Problem-Solving Strategies

The structure of ill structured problems

1973 • 2,479 citations

Planning in a hierarchy of abstraction spaces

1974 • 1,164 citations

A Programming Language

1962 • 920 citations

A language and a program for stating and solving combinatorial problems

1978 • 253 citations

Strategy construction using homomorphisms between games

1972 • 18 citations

The QA4 language applied to robot planning

1972 • 15 citations

A theory for the complete mechanization of a GPS-type problem solver

1977 • 10 citations

Some applications of graph theory to game analysis

1972 • 3 citations