Return to Article Details Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems Download Download PDF