More Automation
Planning and Program Synthesis
Need for Preconditions and Effects
Operation/service classification helpful
Other control and cost information
Extension of push button advantage
Bijan Parsia
9 of 17