Plan Representation

Semantics in terms of Candidate sets

--Candidate is an action sequence that satisfies all the

plan constraints (but can have additional actions)

Refinements split and prune candidate sets