( en | de | ru )

 

Disambiguation of "Baldoni, Matteo"

Author of the publication

copydeleteadd this publication to your clipboard
Verification of Protocol Conformance and Agent Interoperability.

, , , and . CLIMA, volume 3900 of Lecture Notes in Computer Science, page 265-283. Springer, (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.

Matteo Garavoglia

Marco Matteo

Matteo Bertini

Matteo Rini

Matteo Gabba

 

Other publications of authors with the same name

Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions., , and . WOA, page 49-55. Pitagora Editrice Bologna, (2002)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)A Modal Extension of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning., , and . J. Log. Comput., 8 (5): 597-635 (1998)A Modal Extension of Logic Programming., , and . ICLP Workshop: Proof-Theoretical Extensions on Logic Programming, (1994)Engineering Commitment-based Business Protocols with the 2CL Methodology: JAAMAS Extended Abstract., , , , and . AAMAS, page 1259-1260. ACM, (2016)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)Type Checking for Protocol Role Enactments via Commitments., , , and . AAMAS, page 1690-1692. International Foundation for Autonomous Agents and Multiagent Systems, (2019)An implementation of roles as affordances: powerJava., , , , and . WOA, page 8-13. Seneca Edizioni Torino, (2007)Engineering commitment-based business protocols with the 2CL methodology., , , , and . Auton. Agents Multi Agent Syst., 28 (4): 519-557 (2014)Type checking for protocol role enactments via commitments., , , and . Auton. Agents Multi Agent Syst., 32 (3): 349-386 (2018)