Research on task-preserving abstraction, representation reformulation, metalevel reasoning, and learned hierarchical structure for more efficient planning.
Foundational work on task-preserving abstraction: changing a planning representation while preserving the structure that matters to the task, with the goal of reducing planning and sensing cost.
Deductive representation reformulation using semigroup theory; publicly archived by NASA.
Develops recurring patterns for reformulating and structuring problem solving.
Examines how intelligent global behavior can emerge from simple local actions.
Edited volume on how changes of representation alter problem-solving and learning behavior; shown here by the original book publication year, 1990.