Uses of Domain-specific knowledge
As declarative search control
- HTN schemas, TLPlan rules
As declartative axioms that are used along with other knowledge
- SATPlan+Domain specific knowledge
Folded into the domain-independent algorithm to generate a new domain-customized planner