( 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)Dynamic Programming as Graph Searching: An Algebraic Approach., , и . J. ACM, 28 (4): 737-751 (1981)Translating a Modal Language with Embedded Implication into Horn Clause Logic., , и . ELP, том 1050 из Lecture Notes in Computer Science, стр. 19-33. Springer, (1996)Reasoning about Self and Others: Communicating Agents in a Model Action Logic., , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 228-241. Springer, (2003)Personalization, Verification and Conformance for Logic-based Communicating Agents., , , , , , и . WOA, стр. 177-183. Pitagora Editrice Bologna, (2005)Extending Negation As Failure by Abduction: A Three-Valued Stable Model Semantics., , и . J. Log. Program., 26 (1): 31-67 (1996)Reasoning about interaction protocols for customizing web service selection and composition., , , и . J. Log. Algebraic Methods Program., 70 (1): 53-73 (2007)On the Complexity of Admissible Search Algorithms.. Artif. Intell., 8 (1): 1-13 (1977)