( en | de | ru )

 

Disambiguation of "Baldoni, Matteo"

Author of the publication

copydeleteadd this publication to your clipboard
Business Process Management for Legal Domains: Supporting Execution and Management of Preliminary Injunctions.

, , , and . JURIX, volume 279 of Frontiers in Artificial Intelligence and Applications, page 149-152. IOS Press, (2015)

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 Bertini

Matteo Gabba

Matteo Rini

Marco Matteo

 

Other publications of authors with the same name

Type Checking for Protocol Role Enactments via Commitments., , , and . AAMAS, page 1690-1692. International Foundation for Autonomous Agents and Multiagent Systems, (2019)Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract)., , , and . IJCAI, page 4143-4147. AAAI Press, (2015)Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions., , and . WOA, page 49-55. Pitagora Editrice Bologna, (2002)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)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)ArsMeteo: artworks and tags floating over the planet art., , , , , and . Hypertext, page 331-332. ACM, (2009)An Abductive Proof Procedure for Reasoning About Actions in Modal Logic Programming., , , and . NMELP, volume 1216 of Lecture Notes in Computer Science, page 132-150. Springer, (1996)Verification of Protocol Conformance and Agent Interoperability., , , and . CLIMA, volume 3900 of Lecture Notes in Computer Science, page 265-283. Springer, (2005)