@article {18905,
	title = {HTN planning for Web Service composition using SHOP2},
	journal = {Web Semantics: Science, Services and Agents on the World Wide Web},
	volume = {1},
	year = {2004},
	month = {2004/10//},
	pages = {377 - 396},
	abstract = {Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctness of the algorithm by showing the correspondence to the situation calculus semantics of OWL-S. We implemented a system that plans over sets of OWL-S descriptions using SHOP2 and then executes the resulting plans over the Web. The system is also capable of executing information-providing Web Services during the planning process. We discuss the challenges and difficulties of using planning in the information-rich and human-oriented context of Web Services.},
	keywords = {HTN planning, OWL-S, SHOP2, Web Service composition, Web services},
	isbn = {1570-8268},
	doi = {10.1016/j.websem.2004.06.005},
	url = {http://www.sciencedirect.com/science/article/pii/S1570826804000113},
	author = {Sirin,Evren and Parsia,Bijan and Wu,Dan and Hendler,James and Nau, Dana S.}
}
