A Logical Semantics for PDDL+

Open in new window