Publications
- M. Baldoni,
C. Baroglio, E. Marengo, and V. Patti.
Constitutive and
Regulative Specifications of Commitment Protocols: a Decoupled Approach.
ACM Transactions on Intelligent Systems and Technology, Special Issue on
Agent Communication, 4(2):22:1-22:25, March 2013.
(PDF)
- M. Baldoni,
C. Baroglio, F. Capuzzimati, E. Marengo, and V. Patti.
A Generalized Commitment
Machine for 2CL Protocols and its Implementation.
In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Proc.
of International Workshop on Declarative Agent Languages and Technologies,
DALT 2012, held in conjuction with AAMAS 2012, pages 18-34, Valencia,
Spain, June 2012.
(PDF)
- M. Baldoni,
C. Baroglio, E. Marengo, and V. Patti.
Supporting
the Analysis of Risks of Violation in Business Protocols: the MiFID Case
Study.
In M. De Marco, D. Te'eni, V. Albano, and S. Za, editors, Information
Systems: Crossroads for Organization, Management, Accounting and
Engineering, pages 545-553. Springer, 2012.
Best Track Paper Award.
(PDF)
- M. Baldoni,
C. Baroglio, and E. Marengo.
Commitment-based
Protocols with Behavioral Rules and Correctness Properties of MAS.
In A. Omicini, S. Sardina, and W. Vasconcelos, editors, Post-Proc. of the
8th International Workshop on Declarative Agent Languages and Technologies
VIII, DALT 2010, Revised Selected and Invited Papers, number 6619 in
LNAI, pages 60-77. Springer, 2011.
(PDF)
- M. Baldoni,
C. Baroglio, E. Marengo, and V. Patti.
Grafting Regulations
into Business Protocols: Supporting the Analysis of Risks of Violation.
In A. Antón, D. Baumer, T. Breaux, and D. Karagiannis, editors, Fourth
International Workshop on Requirements Engineering and Law (RELAW 2011), held
in conjunction with the 19th IEEE International Requirements Engineering
Conference, pages 50-59, Trento, Italy, August 30th 2011. IEEE
Xplore.
(PDF)
- M. Baldoni,
C. Baroglio, E. Marengo, V. Patti, and F. Capuzzimati.
Learn the rules so you know how to break
them properly.
In G. Fortino, A.. Garro, L. Palopoli, W. Russo, and G. Spezzano, editors,
Proc. of WOA 2011: Dagli oggetti agli agenti, Progettazione ed analisi
di sistemi complessi mediante modellazione e simulazione basate su
agenti, volume 741, pages 11-18, Cosenza, Italy, July 2011. CEUR
Workshop Proceedings.
(PDF)
- M. Baldoni,
C. Baroglio, E. Marengo, V. Patti, and A. Ricci.
Back to the future: an
Interaction-oriented Framework for Social Computing.
In A. K. Chopra, F. Dalpiaz, and S. O. Lim, editors, First International
Workshop on Requirements Engineering for Social Computing (RESC 2011), held
in conjunction with the 19th IEEE International Requirements Engineering
Conference, Trento, Italy, August 29th 2011. IEEE Xplore.
(PDF)
- E. Marengo, M. Baldoni, and C. Baroglio.
Extend Commitment Protocols with
Temporal Regulations: Why and How.
In Proc. of 5th International Symposium on Rules, Doctoral Consortium,
RuleML 2011, number CoRR abs/1107.2086, Barcellona, Spain, July 2011.
CoRR, Cornell University Library.
(PDF)
- E. Marengo, M. Baldoni, and C. Baroglio.
On Temporal Regulations and Commitment
Protocols.
In T. Walsh, editor, Proceedings of the Twenty-Second International Joint
Conference on Artificial Intelligence, IJCAI 2011, pages 2824-2825,
Barcellona, Spain, July 2011. AAAI Press/International Joint Conferences on
Artificial Intelligence.
(PDF)
- M. Baldoni,
C. Baroglio, and E. Marengo.
Behavior-oriented Commitment-based
Protocols.
In H. Coelho, R. Studer, and M. Wooldridge, editors, Proc. of 19th
European Conference on Artificial Intelligence, ECAI 2010, pages
137-142, Lisbon, Portugal, August 2010. IOS Press.
(PDF)
- M. Baldoni,
C. Baroglio, and E. Marengo.
Constraints
among Commitments: Regulative Specification of Interaction Protocols.
In A. Artikis, J. Bentahar, A. K. Chopra, and F. Dignum, editors, Proc.
of International Workshop on Agent Communication, AC 2010, held in conjuction
with AAMAS 2010, pages 2-18, Toronto, Canada, May 2010.
An extended
and improved version has been published in the Proc. of the 25-esimo Convegno Italiano di
Logica Computazionale, Vol 598, CEUR Workshop Proceedings.
(PDF)
|