PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
Planning for conjunctive goals