Graphplan Plangraph (Blum & Furst, 1995)
Graphplan directly refines disjunctive plans using forward state space refinement
- The plan graph structure explicitly contains proposition lists, persistence actions for each condition, and dependency links between actions and propositions
- Enforces partial 2-consistency by incrementally computing and propagating mutual exclusion relations