1. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);G Adamo,2018
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);M Baldoni,2018
3. Baldoni, M., Baroglio, C., Capuzzimati, F., Micalizio, R.: Type checking for protocol role enactments via commitments. J. Auton. Agents Multi-Agent Syst. 32(3), 349–386 (2018).
https://doi.org/10.1007/s10458-018-9382-3
4. Baldoni, M., Baroglio, C., Chopra, A.K., Singh, M.P.: Composing and verifying commitment-based multiagent protocols. In: Wooldridge, M., Yang, Q. (eds.) Proceedings of 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, 25th July–31th 2015 (2015).
http://ijcai-15.org/
5. Baldoni, M., Baroglio, C., May, K.M., Micalizio, R., Tedeschi, S.: Computational accountability. In: Chesani, F., Mello, P., Milano, M. (eds.) Deep Understanding and Reasoning: A Challenge for Next-Generation Intelligent Agents, URANIA 2016, vol. 1802, pp. 56–62. CEUR Workshop Proceedings, Genoa, December 2016.
http://ceur-ws.org/Vol-1802/paper8.pdf