( en | de | ru )

 

Disambiguierung von "Bertoli, Piergiorgio"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Message-Based Web Service Composition, Integrity Constraints, and Planning under Uncertainty: A New Connection.

, , , und . J. Artif. Intell. Res., (2009)

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.

Piergiorgio Antonini

Constantin Bertoli

Cristina Bertoli Sand

William Piergiorgio Gizzi

Sibylle Bettina Bertoli

 

Weitere Publikationen von Autoren mit dem selben Namen

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)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)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)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)Automated composition of Web services via planning in asynchronous domains., , und . Artif. Intell., 174 (3-4): 316-361 (2010)A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools., , , und . SAFECOMP, Volume 1516 von Lecture Notes in Computer Science, Seite 221-230. Springer, (1998)Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking., , , und . IJCAI, Seite 473-478. Morgan Kaufmann, (2001)