Handling Domain Specific Info
Many approaches
Where does guidance come from?
How is it used?
Example Rules (Learned)
Example rules: User Given (for SATPLAN)
How does SATPLAN use the knowledge?
Example Rules: Tlplan (LTL) rules
PPT Slide
TLPlan’s other claims to fame
Email: rao@asu.edu
Home Page: http://rakaposhi.eas.asu.edu