Automated Planning as a Semantic Technology
1 Compute-Intensive Methods in AI: New Opportunities for Reasoning and Search Bart Selman Cornell University [email protected].