Author of the publication

Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals.

, , and . ICSOC, volume 4294 of Lecture Notes in Computer Science, page 459-464. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automated Planning: Theory and Practice, , and . Elsevier, (2004)Understanding Scene Descriptions by Integrating Different Sources of Knowledge., , , and . Int. J. Man Mach. Stud., 37 (1): 47-81 (1992)Strong planning under partial observability., , , and . Artif. Intell., 170 (4-5): 337-384 (2006)Weak, strong, and strong cyclic planning via symbolic model checking., , , and . Artif. Intell., 147 (1-2): 35-84 (2003)Planning as Model Checking., and . ECP, volume 1809 of Lecture Notes in Computer Science, page 1-20. Springer, (1999)Keynote abstract: From smart cities to smart communities: The case of children's independent mobility.. SMAP, page xv. IEEE Computer Society, (2015)Design for Adaptation of Distributed Service-Based Systems., , , , and . ICSOC, volume 9435 of Lecture Notes in Computer Science, page 383-393. Springer, (2015)Run-Time Monitoring of the Execution of Plans for Web Service Composition., , , and . ICAPS, page 346-349. AAAI, (2006)Program Tactics and Logic Tactics., and . LPAR, volume 822 of Lecture Notes in Computer Science, page 16-30. Springer, (1994)On-line Learning of Planning Domains from Sensor Data in PAL: Scaling up to Large State Spaces., , , , and . AAAI, page 11862-11869. AAAI Press, (2021)