Hierarchical Task Network Planning as Satisfiability

  title={Hierarchical Task Network Planning as Satisfiability},
  author={Amol Dattatraya Mali},
The satissability paradigm has been hitherto applied to planning with only primitive actions. On the other hand, hierarchical task networks have been successfully used in many real world planning applications. Adapting the satissability paradigm to hierarchical task network planning, we show how the guidance from the task networks can be used to signiicantly reduce the sizes of the propositional encodings. We report promising empirical results on various encodings that demonstrate an orders of… CONTINUE READING
Highly Cited
This paper has 37 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 25 extracted citations

Optimizing Web Service Composition While Enforcing Regulations

International Semantic Web Conference • 2009
View 5 Excerpts
Highly Influenced

A Common Process Methodology for Engineering Process

DomainsStephen T. PolyakDepartment, United KingdomSteve Polyak
View 4 Excerpts
Highly Influenced

TF Method : An Initial Frameworkfor Modelling and Analysing Planning

DomainsAustin Tatey, Stephen T. Polyakz, Peter Jarvisyy
View 4 Excerpts
Highly Influenced


Publications referenced by this paper.
Showing 1-10 of 16 references

Hybrid planning in partially hierarchical domains

Proceedings of the National Conference on Artiicial Intelligence (AAAI) • 1998
View 9 Excerpts
Highly Influenced

The role of domain-speciic knowledge in the planning as satissability framework

Kautz, Henry Selman, Bart Kautz, Selman
Proceedings of the international conference on Artiicial Intelligence Planning Systems (AIPS) • 1998

Ten challenges in propositional reasoning and search

Proceedings of the International Joint Conference on Artiicial Intelligence (IJCAI) • 1997

Similar Papers

Loading similar papers…