Return to Article Details Automatic Extraction of Axioms for Planning Download Download PDF