Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems

Open in new window