Return to Article Details A Logical Semantics for PDDL+ Download Download PDF