Overall plan evolution

Diagrams for Formal Planning

The Computer Part: Positioning and Correspondences

The Domain Ideal in Schematic Representation