( en | de | ru )

 

Disambiguierung von "Martelli, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Reasoning about interaction protocols for customizing web service selection and composition.

, , , und . J. Log. Algebr. Program., 70 (1): 53-73 (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.

Alessandro Martelli

Bettina Martelli

Stefano Martelli

Faustino Martelli

Chiara Martelli

 

Weitere Publikationen von Autoren mit dem selben Namen

Reasoning about Interaction for Personalizing Web Service Fruition., , , und . WOA, Seite 29-35. Pitagora Editrice Bologna, (2003)A Multimodal Logic to Define Modules in Logic Programming., , und . ILPS, Seite 473-487. MIT Press, (1993)A Modal Reconstruction of Blocks and Modules in Logic Programming., und . ISLP, Seite 239-253. MIT Press, (1991)Reasoning about interaction protocols for customizing web service selection and composition., , , und . J. Log. Algebr. Program., 70 (1): 53-73 (2007)Verifying Agents' Conformance with Multiparty Protocols., und . CLIMA, Volume 5405 von Lecture Notes in Computer Science, Seite 17-36. Springer, (2008)Business Processes Verification with Temporal Answer Set Programming., , , und . KiBP@KR, Volume 861 von CEUR Workshop Proceedings, Seite 48-59. CEUR-WS.org, (2012)Efficient Unificatioin with Infinite Terms in Logic Programming., und . FGCS, Seite 202-209. OHMSHA Ltd. Tokyo and North-Holland, (1984)Negation as Failure and Constraints through Abduction and Defaults., , und . AI*IA, Volume 549 von Lecture Notes in Computer Science, Seite 78-87. Springer, (1991)Reasoning about Self and Others: Communicating Agents in a Model Action Logic., , , und . ICTCS, Volume 2841 von Lecture Notes in Computer Science, Seite 228-241. Springer, (2003)Translating a Modal Language with Embedded Implication into Horn Clause Logic., , und . ELP, Volume 1050 von Lecture Notes in Computer Science, Seite 19-33. Springer, (1996)