PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
SHOP: Simple Hierarchical Ordered Planner