Eliminating Negative Occurrences of Derived Predicates from PDDL Axioms

Open in new window