Automatically Extracting Axioms in Classical Planning

Open in new window