Verification of Workflow Nets. In Application and Theory of Petri Nets, 1997. ,
Computational aspects of reordering plans, JAIR, vol.9, pp.99-137, 1998. ,
PLANET Technological Roadmap on AI Planning and Scheduling, 2003. ,
The FF planning system: Fast plan generation through heuristic search, JAIR, vol.14, pp.253-302, 2001. ,
Web service composition as planning, revisited: In between background theories and initial state uncertainty, Proc. AAAI'07, 2007. ,
Combining Scalability and Expressivity in the Automatic Composition of Semantic Web Services, 2008 Eighth International Conference on Web Engineering, 2008. ,
DOI : 10.1109/ICWE.2008.8
Model-lite planning for the web age masses: The challenges of planning with incomplete and evolving domain models, Proc. AAAI'07, 2007. ,
Applying planning in composition ofweb services with a user-driven contingent planner, 2006. ,
Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.2008-2009, 2002. ,
DOI : 10.1145/511446.511457
Automated composition of web services by planning in asynchronous domains, Proc. ICAPS'05, 2005. ,
A conceptual framework for semantic business process configuration, Journal of Information Science and Technology, vol.5, issue.2, pp.3-20, 2008. ,
Business Process Management: Concepts, Languages , Architectures, 2007. ,
DOI : 10.1007/978-3-642-28616-2