( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Temporal deontic action logic for the verification of compliance to norms in ASP.

, , и . ICAIL, стр. 53-62. ACM, (2013)

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

 

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

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)Reasoning about Interaction for Personalizing Web Service Fruition., , , и . WOA, стр. 29-35. Pitagora Editrice Bologna, (2003)On the Complexity of Admissible Search Algorithms.. Artif. Intell., 8 (1): 1-13 (1977)Personalization, Verification and Conformance for Logic-based Communicating Agents., , , , , , и . WOA, стр. 177-183. Pitagora Editrice Bologna, (2005)Edge detection using heuristic search methods.. Comput. Graph. Image Process., 1 (2): 169-182 (1972)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)Efficient Unificatioin with Infinite Terms in Logic Programming., и . FGCS, стр. 202-209. OHMSHA Ltd. Tokyo and North-Holland, (1984)Reasoning about Self and Others: Communicating Agents in a Model Action Logic., , , и . ICTCS, том 2841 из Lecture Notes in Computer Science, стр. 228-241. Springer, (2003)