( en | de | ru )

 

Disambiguierung von "Traverso, Paolo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Specifying Data-Flow Requirements for the Automated Composition of Web Services.

, , und . SEFM, Seite 147-156. IEEE Computer Society, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Paola Traverso

Paola Traverso

Paola Traverso

Giordano Paolo

Paola Traverso

 

Weitere Publikationen von Autoren mit dem selben Namen

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