@inbook {18896,
	title = {Automating DAML-S Web Services Composition Using SHOP2},
	booktitle = {The Semantic Web - ISWC 2003},
	series = {Lecture Notes in Computer Science},
	volume = {2870},
	year = {2003},
	month = {2003///},
	pages = {195 - 210},
	publisher = {Springer Berlin / Heidelberg},
	organization = {Springer Berlin / Heidelberg},
	abstract = {The DAML-S Process Model is designed to support the application of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited for working with the Process Model. We have proven the correspondence between the semantics of SHOP2 and the situation calculus semantics of the Process Model. We have also implemented a system which soundly and completely plans over sets of DAML-S descriptions using a SHOP2 planner, and then executes the resulting plans over the Web. We discuss the challenges and difficulties of using SHOP2 in the information-rich and human-oriented context of Web services.},
	keywords = {Computer science},
	isbn = {978-3-540-20362-9},
	url = {http://www.springerlink.com/content/rm5ejwlmbw0mdv97/abstract/},
	author = {Wu,Dan and Parsia,Bijan and Sirin,Evren and Hendler,James and Nau, Dana S.},
	editor = {Fensel,Dieter and Sycara,Katia and Mylopoulos,John}
}
