Synthesis of UNIX programs using derivational analogy

Structure‐Mapping: A Theoretical Framework for Analogy*

Dedre Gentner · Cognitive Science · 1983 · 5.1K citations

Language Studies, Philosophy, Knowledge Representation +16

Planning in a hierarchy of abstraction spaces

Earl D. Sacerdoti · Artificial Intelligence · 1974 · 1.2K citations

Engineering, Systems Engineering, Knowledge Representation +10

Planning and meta-planning (MOLGEN: Part 2)

Mark Stefik · Artificial Intelligence · 1981 · 279 citations

Computing, Autonomous Systems, Path Planning +3

Mathematical Statistics With Applications

Gary E. Meek · Technometrics · 1987 · 254 citations

Natural Sciences, Biostatistics, Mathematics +12

A Unification Algorithm for Associative-Commutative Functions

Mark E. Stickel · Journal of the ACM · 1981 · 243 citations · Full text

Computing, Computer Science, Mathematics +6