View of PDDL Axioms Are Equivalent to Least Fixed Point Logic

Return to Article Details PDDL Axioms Are Equivalent to Least Fixed Point Logic Download Download PDF