PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Bertoli, Piergiorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Web Service Composition as Planning, Revisited: In Between Background Theories and Initial State Uncertainty.

, , und . AAAI, Seite 1013-1018. AAAI Press, (2007)

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.

Keine Personen gefunden für den Autorennamen Bertoli, Piergiorgio
Eine Person hinzufügen mit dem Namen Bertoli, Piergiorgio
 

Weitere Publikationen von Autoren mit dem selben Namen

A Constraint-Driven Business Object Model for Service-Based Business Processes., , , , , , und . ITNG, Seite 182-188. IEEE Computer Society, (2012)Towards Strong Cyclic Planning under Partial Observability., , und . ICAPS, Seite 354-357. AAAI, (2006)Safe LTL Assumption-Based Planning., und . ICAPS, Seite 193-202. AAAI, (2006)SMART: Modeling and Monitoring Support for Business Process Coordination in Dynamic Environments., , , und . BIS (Workshops), Volume 127 von Lecture Notes in Business Information Processing, Seite 243-254. Springer, (2012)Strong planning under partial observability., , , und . Artif. Intell., 170 (4-5): 337-384 (2006)Conformant planning via symbolic model checking and heuristic search., , und . Artif. Intell., 159 (1-2): 127-206 (2004)A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis., , und . MoChArt, Volume 4428 von Lecture Notes in Computer Science, Seite 1-18. Springer, (2006)Having Services "YourWay!": Towards User-Centric Composition of Mobile Services., , , , und . FIS, Volume 5468 von Lecture Notes in Computer Science, Seite 94-106. Springer, (2008)Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking., , und . TACAS, Volume 2031 von Lecture Notes in Computer Science, Seite 313-327. Springer, (2001)Continuous Orchestration of Web Services via Planning., , , , , und . ICAPS, AAAI, (2009)