( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Business Process Compliance by Reasoning about Actions.

, , , , , и . CLIMA, том 6245 из Lecture Notes in Computer Science, стр. 99-116. Springer, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Alessandro Martelli

Bettina Martelli

Stefano Martelli

Faustino Martelli

Chiara Martelli

 

Другие публикации лиц с тем же именем

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