( en | de | ru )

 

Disambiguation of "Baldoni, Matteo"

Author of the publication

copydeleteadd this publication to your clipboard
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.

Matteo Garavoglia

Matteo Rini

Marco Matteo

Matteo Bertini

Matteo Gabba

 

Other publications of authors with the same name

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)ArsMeteo: artworks and tags floating over the planet art., , , , , and . Hypertext, page 331-332. ACM, (2009)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)JADE/JaCaMo+2COMM: Programming Agent Interactions., , , and . PAAMS, volume 12092 of Lecture Notes in Computer Science, page 388-391. Springer, (2020)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)