( en | de | ru )

 

Disambiguierung von "Martelli, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Business Process Compliance by Reasoning about Actions.

, , , , , und . CLIMA, Volume 6245 von Lecture Notes in Computer Science, Seite 99-116. Springer, (2010)

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)Reasoning about interaction protocols for customizing web service selection and composition., , , und . J. Log. Algebr. Program., 70 (1): 53-73 (2007)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)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)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)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)Efficient Unificatioin with Infinite Terms in Logic Programming., und . FGCS, Seite 202-209. OHMSHA Ltd. Tokyo and North-Holland, (1984)Personalization, Verification and Conformance for Logic-based Communicating Agents., , , , , , und . WOA, Seite 177-183. Pitagora Editrice Bologna, (2005)Edge detection using heuristic search methods.. Comput. Graph. Image Process., 1 (2): 169-182 (1972)