Category:Planning-View


 * Required: Initial state; goal state; world state; operations/tasks (precondition; action/postcondition)
 * Optional: Axioms;