Many User-Customizable Planners
Conjunctive planners
- HTN planners
- SIPE [Wilkins, 85-]
- NONLIN/O-Plan [Tate et. al., 77-]
- NOAH [Sacerdoti, 75]
- Also SHOP (Nau et. al., IJCAI-99)
- State-space planners
- TLPlan [Bacchus & Kabanza, 95; 99]
- TALPlan [Kvarnstrom & Doherty, 2000]
- Customization frameworks
- CLAY [Srivastava & Kambhampati, 97]
Disjunctive planners
- HTN SAT [Mali & Kambhampati, 98]
- SATPLAN+Dom [Kautz & Selman, 98]