1 Compute-Intensive Methods in AI: New Opportunities for Reasoning and Search Bart Selman Cornell University [email protected].
Sales and Distribution Master Data EGN 5620 Enterprise Systems Configuration Spring, 2013.
The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework Henry Kautz AT&T Labs Bart Selman Cornell University.
Learning Control Knowledge for Planning Yi-Cheng Huang.
Optimal Sensor Scheduling via Classification Reduction of Policy Search (CROPS) ICAPS Workshop 2006 Doron Blatt and Alfred Hero University of Michigan.
Open-Loop Planning as Satisfiability Henry Kautz AT&T Labs.
Optimal Sensor Scheduling via Classification Reduction of Policy Search (CROPS)
Learning Control Knowledge for Planning
2000.9.20CS 5411 Compilation Approaches to AI Planning 1 José Luis Ambite* Some slides are taken from presentations by Kautz and Selman. Please visit their.
Compilation Approaches to AI Planning 1