Overview

• (Classical) planning problem

  • Modeling, Proving correctness

• Refinement Planning: Formal Framework

• Conjunctive refinement planners

  • Heuristics

• Disjunctive refinement planners

  • Refinement of disjunctive plans
  • Solution extraction from disjunctive plans
    • Direct, Compiled (SAT, CSP, ILP)

• Customizing Planners

  • User-assisted Customization
  • Automated customization

• Support for non-classical worlds

Previous slide

Next slide

Back to first slide

View graphic version