The (too) many brands of classical planners

Planning as Search

Search in the space of States

(progression, regression, MEA)

(STRIPS, PRODIGY, TOPI, HSP, HSP-R,

UNPOP, FF)

Search in the space of Plans

(total order, partial order,

protections, MTC)

(Interplan,SNLP,TOCL,

UCPOP,TWEAK)

Search in the space of

Task networks (reduction

of non-primitive tasks)

(NOAH, NONLIN,

O-Plan, SIPE)

Planning as CSP/ILP/SAT/BDD

(Graphplan, IPP, STAN, SATPLAN, BLackBOX,GP-CSP,BDDPlan)

Planning as Theorem Proving

(Green’s planner)

Planning as Model Checking