Author of the publication

Personalization, Verification and Conformance for Logic-based Communicating Agents.

, , , , , , and . WOA, page 177-183. Pitagora Editrice Bologna, (2005)

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. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

An implementation of roles as affordances: powerJava., , , , and . WOA, page 8-13. Seneca Edizioni Torino, (2007)Accountability and Responsibility in Multiagent Organizations for Engineering Business Processes., , , , and . EMAS@AAMAS, volume 12058 of Lecture Notes in Computer Science, page 3-24. Springer, (2019)JADE/JaCaMo+2COMM: Programming Agent Interactions., , , and . PAAMS, volume 12092 of Lecture Notes in Computer Science, page 388-391. Springer, (2020)A Modal Extension of Logic Programming., , and . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach., , and . CARE/MFSC@AAMAS, volume 541 of Communications in Computer and Information Science, page 167-184. Springer, (2015)Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract., , , , and . AAMAS, page 1259-1260. ACM, (2016)Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions., , and . WOA, page 49-55. Pitagora Editrice Bologna, (2002)ArsMeteo: artworks and tags floating over the planet art., , , , , and . Hypertext, page 331-332. ACM, (2009)Verification of Protocol Conformance and Agent Interoperability., , , and . CLIMA, volume 3900 of Lecture Notes in Computer Science, page 265-283. Springer, (2005)A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation., , , , and . CILC, volume 857 of CEUR Workshop Proceedings, page 2-16. CEUR-WS.org, (2012)