DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO

Baldoni's publications

The documents distributed by this server have been provided by thecontributing authors as a means to ensure timely dissemination ofscholarly and technical work on a noncommercial basis.Copyright and all rights therein are maintained by the authors orby other copyright holders, notwithstanding that they haveoffered their works here electronically.It is understood that all persons copying this informationwill adhere to the terms and constraints invoked by each author'scopyright.These works may not be reposted without the explicit permission of thecopyright holder.
[2025][2024][2023][2022][2021][2020][2019][2018][2017][2016][2015][2014][2013][2012][2011][2010][2009][2008][2007][2006][2005][2004][2003][2002][2001][2000][1999][1998][1997][1996][1995][1994][1993]

2025

  • M. Baldoni, C. Baroglio, S. Galland, R. Micalizio, F. Outay, and S. Tedeschi. Interaction Protocols in an Imperative Agent-Oriented Programming Language: the case of BSPL and SARL (short paper). In Proc. of 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, Michigan, USA, 2025. IFAAMAS. To appear.

  • M. Baldoni, S. H. Christie V, M. P. Singh, and A. K. Chopra. Azorus: Commitments over Protocols for BDI Agents. In Proc. of 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, Detroit, Michigan, USA, 2025. IFAAMAS. To appear.

  • M. Baldoni, S. H. Christie V, M. P. Singh, and A. K. Chopra. Orpheus: Engineering Multiagent Systems via Communicating Agents. In Proc. Thirty-Nineth AAAI Conference on Artificial Intelligence, AAAI 2025, Philadelphia, Pennsylvania, USA, May 19-23, 2025 2025. AAAI Press. To appear. (PDF)

  • M. Baldoni, C. Baroglio, M. Bucciarelli, E. Gandolfi, F. Ianì, E. Marengo, and I. Nabil Ras. Empowering AI Competences in Children: The First Turning Point. In Z. Kubincová, A. Melonio, D. Durães, D. Rua Carneiro, M. Rizvi, and L. Lancia, editors, Methodologies and Intelligent Systems for Technology Enhanced Learning (MIS4TEL), Workshops, 12th International Conference (Workshop on Reflections and Dialogues around Smart Technology, ResiSTo), volume 538 of Lecture Notes in Networks and Systems, pages 171-181, L'Aquila, Italy, July, 13th-15th 2022. Springer International Publishing. (PDF)

2024

2023

  • M. Baldoni, C. Baroglio, E. Marengo, and R. Micalizio. A Responsibility Framework for Computing Optimal Process Alignments. In J. De Weerdt and L. Pufahl, editors, Business Process Management Workshops, BPM 2023 International Workshops, volume 492 of Lecture Notes in Business Information Processing, pages 5-17, Utrecht, The Netherlands, September 11-15 2024. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Bottrighi, M. Bucciarelli, S. Capecchi, E. Gandolfi, C. Gena, F. Ianì, E. Marengo, D. Marocco, R. Micalizio, L. Piovesan, M. Ponticorvo, A. Rapp, A. Roveta, P. Terenziani, and F. Ugo. Fostering Awareness and Personalization of Learning Artificial Intelligence. In F. Falchi, F. Giannotti, A. Monreale, C. Boldrini, S. Rinzivillo, and S. Colantonio, editors, Proc. of the Ital-IA Intelligenza Artificale . Thematic Workshops co-located with the 3rd CINI National Lab AIIS Conference on Artificial Intelligence, Ital-IA 2023, volume 3486, pages 449-454, Pisa, Italy, May 29th-30th 2023. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, V. Ditano, R. Micalizio, and S. Tedeschi. Agents for Industry 4.0: the Case Study of a Production Cell. In R. Falcone, C. Castelfranchi, A. Sapienza, and F. Cantucci, editors, Proc. of the 24th Workshop "From Objects to Agents", WOA 2023, volume 3486, pages 167-180, Roma, Italy, November 6th-8th 2023. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, and R. Micalizio. A Responsibility Framework for Computing Optimal Process Alignments. In C. Di Francescomarino, F. M. Maggi, A. Marrella, A. Senderovich, and E. Sulis, editors, Proc. of the 7th International Workshop on Artificial Intelligence for Business Process Management, AI4BPM 2023, co-located with Business Process Management Conference, BPM 2023, Utrecht, The Netherlands, September 11-15 2023. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, and R. Micalizio. Leveraging on Responsibilities for Optimal Process Alignment Computation. In R. Basili, D. Lembo, C. Limongelli, and A. Orlandini, editors, Proceedings of the Discussion Papers - 22nd Int. Conf. of the Italian Association for Artificial Intelligence (AIxIA 2023 DP), volume 3537, pages 11-19, Roma, Italy, November 6th-9th 2023. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi. Accountability in Multi-Agent Organizations: from Conceptual Design to Agent Programming. Journal of Autonomous Agents and Multi-Agent Systems, 37(7), 2023. (PDF)

  • M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi. Robust JaCaMo Applications via Exceptions and Accountability. In N. Agmon, B. An, A. Ricci, and W. Yeoh, editors, Proc. of 22nd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023, pages 3050-3052, London, United Kingdom, May 29th-June 2nd 2023. ACM and IFAAMAS, Richland, SC. (PDF)

  • M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi. Towards Exception Handling in the SARL Agent Platform. In P. Mathieu, F. Dignum, P. Novais, and F. de la Prieta, editors, Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection - 21st International Conference, PAAMS 2023, volume 13955 of Lecture Notes in Computer Science, pages 403-408, Guimarães, Portugal, July 12-14 2023. Springer. (PDF)

  • V. Charpenay, M. Baldoni, A. Ciortea, S. Cranefield, J. Padjet, and P. M. Singh. Governing Agents on the Web. In N. Fornara, J. Cheriyan, and A. Mertzani, editors, Coordination, Organizations, Institutions, Norms, and Ethics for Governance of Multi-Agent Systems XVI, Post-Proc. of the 27th International Workshop, COINE 2023, volume 14002 of Lecture Notes in Artificial Intelligence, pages 55-73, London, UK, May 29 2023. Springer. (PDF)

  • V. Charpenay, M. Baldoni, A. Ciortea, S. Cranefield, J. Padjet, and P. M. Singh. Governing Agents on the Web (Blue Sky Ideas). In J. Cheriyan, N. Fornara, and A. Mertzani, editors, Proc. of the International Workshop on Coordination, Organizations, Institutions, Norms and Ethics for Governance of Multi-Agent Systems, COINE 2023, co-located with AAMAS 2023, London, UK, May 29 2023. (PDF)

2022

2021

2020

2019

  • M. Baldoni, C. Baroglio, O. Boissier, R. Micalizio, and S. Tedeschi. Accountability and Responsibility in Multiagent Organizations for Engineering Business Processes. In L. A. Dennis, R. H. Bordini, and Y. Lespèrance, editors, Post-Proc. of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, Revised Selected Papers, number 12058 in LNAI, pages 3-24, Montreal, QC, Canada, May 13-14, 2019 2020. Springer. (PDF)

  • M. Baldoni, C. Baroglio, O. Boissier, R. Micalizio, and S. Tedeschi. Accountability and Agents for Engineering Business Processes. In R. H. Bordini, L. A. Dennis, and Y. Lesperance, editors, Proc. of the 7th International Workshop on Engineering Multi-Agent Systems, EMAS 2019, held in conjuction with AAMAS 2019, Montreal, Canada, May 13-14 2019. Best Paper Award. (PDF)

  • M. Baldoni, C. Baroglio, O. Boissier, R. Micalizio, and S. Tedeschi. Engineering Business Process through Accountability and Agents (Extended Abstract). In N. Agmon, M. E. Taylor, E. Elkind, and M. Veloso, editors, Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, Engineering Multiagent Systems Track, AAMAS 2019, pages 1796-1798, Montreal QC, Canada, May 13th-17th 2019. IFAAMAS, Richland, SC. (PDF)

  • M. Baldoni, C. Baroglio, O. Boissier, R. Micalizio, and S. Tedeschi. Engineering Multiagent Organizations by Accountability and Responsibility. In M. Alviano, G. Greco, and F. Maratea, M. Scarcello, editors, Proc. of Discussion and Doctoral Consortium papers of AI*IA 2019 - 18th International Conference of the Italian Association for Artificial Intelligence, AIxIA-DDC 2019, volume 2495, pages 12-23, Rende, Italy, November 19-22 2019. CEUR, Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Process Coordination with Business Artifacts and Multi-Agent Technologies. Journal on Data Semantics, 8(2):99-112, June 2019. http://dx.doi.org/10.1007/s13740-019-00100-8. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Type Checking for Protocol Role Enactments via Commitments. In N. Agmon, M. E. Taylor, E. Elkind, and M. Veloso, editors, Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, JAAMAS Track, AAMAS 2019, pages 1690-1692, Montreal QC, Canada, May 13th-17th 2019. IFAAMAS, Richland, SC. (PDF)

  • M. Baldoni, C. Baroglio, K. M. May, and S. Micalizio, R. Tedeschi. MOCA: An ORM MOdel for Computational Accountability. Journal of Intelligenza Artificiale, 13(1):5-20, 2019. (PDF)

  • M. Baldoni, C. Baroglio, and R. Micalizio. Accountability, Responsibility and Robustness in Agent Organizations. In V. Dignum, P. Noriega, and H. Verhagen, editors, Proc. of the 1st International Workshop on Responsible Artificial Intelligence Agents, RAIA 2019, held in conjuction with AAMAS 2019, Montreal, Canada, May 14 2019. (PDF)

  • M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi. Implementing Business Processes in JaCaMo+ by Exploiting Accountability and Responsibility. In N. Agmon, M. E. Taylor, E. Elkind, and M. Veloso, editors, Proc. of 18th International Conference on Autonomous Agents and Multiagent Systems, Demo Track, AAMAS 2019, pages 2330-2332, Montreal QC, Canada, May 13th-17th 2019. IFAAMAS. (PDF)

  • M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi. Programming Agents by Their Social Relationships: A Commitment-Based Approach. Algorithms, special issue ``Social Computing and Multiagent Systems'', 12(4):76, April 2019. https://doi.org/10.3390/a12040076. (PDF)

  • M. Baldoni, M. Dastani, B. Liao, Y. Sakurai, and R. Zalila Wenkstern, editors. PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, volume 11873 of Lecture Notes in Artificial Intelligence (LNAI), Turin, Italy, October 28-31 2019. Springer.

  • M. Baldoni, L. Giordano, and K. Satoh. Renvoi in Private International Law: A Formalization with Modal Contexts. In M. Araszkiewicz and V. Rodríguez-Doncel, editors, Legal Knowledge and Information Systems - JURIX 2019: The Thirty-second Annual Conference, volume 322 of Frontiers in Artificial Intelligence and Applications, pages 157-162, Madrid, Spain, December 11-13 2019. IOS Press. (PDF)

  • A. Garro, M. Mühlhäuser, A. Tundis, M. Baldoni, C. Baroglio, F. Bergenti, and P. Torroni. Intelligent Agents: Multi-Agent Systems. In Shoba Ranganathan, Michael Gribskov, Kenta Nakai, and Christian Schönbach, editors, Encyclopedia of Bioinformatics and Computational Biology, volume 1 of Reference Module in Life Sciences, pages 315-320. Elsevier Academic Press, 2019. https://doi.org/10.1016/B978-0-12-809633-8.20328-2. (PDF)

2018

  • M. Baldoni, C. Baroglio, O. Boissier, J. F. Hübner, and R. Micalizio. Norm-aware and Norm-oriented Programming. In A. Chopra, L. van der Torre, H. Verhagen, and S. Villata, editors, Handbook of Normative Multiagent Systems, chapter 8 (Part: Engineering normative multiagent systems), pages 231-248. College Publications, 2018. (PDF)

  • M. Baldoni, C. Baroglio, O. Boissier, K. M. May, R. Micalizio, and S. Tedeschi. Accountability and Responsibility in Agents Organizations. In T. Miller, N. Oren, Y. Sakurai, I. Noda, T. Savarimuthu, and Tran Cao Son, editors, PRIMA 2018: Principles and Practice of Multi-Agent Systems, 21st International Conference, number 11224 in Lecture Notes in Computer Science, pages 403-419, Tokyo, Japan, October 31st-November 2nd 2018. Springer. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Commitment-based Agent Interaction in JaCaMo+. Fundamenta Informaticae, 159(1-2):1-33, 2018. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Objective Coordination with Business Artifacts and Social Engagements. In E. Teniente and M. Weidlich, editors, Business Process Management Workshops, BPM 2017 International Workshops, Revised Papers, volume 308 of Lecture Notes in Business Information Processing (LNBIP), pages 1-18, Barcelona, Spain, 2018. Springer. This paper has been presented at the First Workshop on BP Innovations with Artificial Intelligence, BPAI 2017, organized by Koehler, J., Montali, M., Srivastava, B., Stuckenschmidt, H., De Masellis, R., Di Fracescomarino, C., Maggi, F. M., and Senderovich, A. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Type Checking for Protocol Role Enactments via Commitments. Journal of Autonomous Agents and Multi-Agent Systems, 32(3):349-386, May 2018. (PDF)

  • M. Baldoni, C. Baroglio, A. K. Copra, and A. Günay. Interaction Protocols. In A. Chopra, L. van der Torre, H. Verhagen, and S. Villata, editors, Handbook of Normative Multiagent Systems, chapter 7 (Part: Engineering normative multiagent systems), pages 209-230. College Publications, 2018. (PDF)

  • M. Baldoni, C. Baroglio, K. M. May, R. Micalizio, and S. Tedeschi. An Information Model for Computing Accountabilities. In C. Ghidini, B. Magnini, A. Passerini, and P. Traverso, editors, AI*IA 2018: Advances in Artificial Intelligence, XVII International Conference of the Italian Association for Artificial Intelligence, volume 11298 of Lecture Notes in Computer Science, pages 30-44, Trento, Italy, November 20th-23th 2018. Springer. (PDF)

  • M. Baldoni, C. Baroglio, K. M. May, R. Micalizio, and S. Tedeschi. Computational Accountability in MAS Organizations with ADOPT. Journal of Applied Sciences, special issue ``Multi-Agent Systems'', 8(4):489, March 2018. (PDF)

  • M. Baldoni, C. Baroglio, and R. Micalizio, editors. Computational Accountability and Responsibility in Multiagent Systems, Proc. of the First Workshop, CARe-MAS 2017. co-located with 20th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2017), volume 2051, Nice, France, October 31st 2018. CEUR Workshop Proceedings. Online CEUR-WS.org/Vol-2051/. (PDF)

  • M. Baldoni, C. Baroglio, and R. Micalizio. Goal Distribution in Business Process Models. In C. Ghidini, B. Magnini, A. Passerini, and P. Traverso, editors, AI*IA 2018: Advances in Artificial Intelligence, XVII International Conference of the Italian Association for Artificial Intelligence, volume 11298 of Lecture Notes in Computer Science, pages 252-265, Trento, Italy, November 20th-23th 2018. Springer. (PDF)

  • M. Baldoni, C. Baroglio, and R. Micalizio. The AThOS Project: First Steps towards Computational Accountability. In M. Baldoni, C. Baroglio, and R. Micalizio, editors, Proc. of the First Workshop on Computational Accountability and Responsibility in Multiagent Systems, CARe-MAS 2017, volume 2051, Nice, France, October 31st 2018. CEUR, Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi. Accountability and Responsibility in Business Processes via Agent Technology. In M. Maratea and M. Vallati, editors, Proc. of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2018), co-located with the Federated Logic Conference (FLOC 2018), volume 2271, Oxford, UK, July 13 2018. CEUR Workshop Proceedings. Invited paper. (PDF)

  • V. Dignum, M. Baldoni, C. Baroglio, M. Caon, R. Chatila, L. A. Dennis, G. Génova, G. Haim, M. Kliess, M. Lopez-Sanchez, R. Micalizio, J. Pavón, M. Slovkovik, M. Smakman, M. van Steenberg, S. Tedeschi, L. van der Torre, S. Villata, and T. de Wildt. Ethics by Design: Necessity or Curse?. In J. Furman, G. Marchant, H. Price, and F. Rossi, editors, Proc. of 2018 AAAI/ACM conference on Artificial Intelligence, Ethics, and Society (AIES 2018), pages 60-66, New Orleans, USA, February 1-3 2018. ACM. (PDF)

2017

2016

2015

2014

2013

2012

2011

  • 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 and C. Baroglio. A journey in Computational Logic in Italy, Guest Editorial. Journal of Intelligenza Artificiale, 5(1):67-69, February 2011. (PDF)

  • M. Baldoni, C. Baroglio, , V. Patti, and P. Rena. ArsEmotica: Emotions in the Social Semantic Web. In C. Ghidini, S. Lindstaedt, A. Ngonga, and T. Pellegrini, editors, Proc. of 7th International Conference on Semantic Systems, I-Semantics 2011, pages 171-174, Graz, Austria, September 2011. ACM International Conference Proceeding Series. (PDF)

  • M. Baldoni, C. Baroglio, , V. Patti, and P. Rena. From Tags to Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web. In C. Lai, G. Semeraro, and E. Vargiu, editors, 5th International Workshop on New Challenges in Distributed Information Filtering and Retrieval, Palermo, Italy, September 2011. CEUR, Workshop Proceedings. Best Paper Award. (PDF)

  • M. Baldoni, C. Baroglio, F. Bergenti, E. Marengo, V. Mascardi, V. Patti, A. Ricci, and A. Santi. An Interaction-oriented Agent Framework for Open Environments. In R. Pirrone and F. Sorbello, editors, Proc. of AI*IA 2011: Artificial Intelligence Around Man and Beyond, 12th International Conference of the Italian Association for Artificial Intelligence, volume 6934 of LNAI, pages 68-79, Palermo, Italy, September 2011. Springer. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. Constraint Modeling for Curriculum Planning and Validation. International Journal of Interactive Learning Environments, 19(1):83-123, 2011. (PDF)

  • M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, C. Mattutino, and S. Rabellino. Tutorato interattivo a distanza. In M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, and S. Rabellino, editors, E-learning con Moodle in Italia: una sfida tra passato, presente e futuro, Collana ``I Manuali'', chapter VII.7, pages 383-396. Seneca Edizioni, 2011.

  • M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, and S. Rabellino, editors. E-learning con Moodle in Italia: una sfida tra passato, presente e futuro. Collana ``I Manuali''. Seneca Edizioni, 2011.

  • 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)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and C. Schifanella. Models of agent interaction based on modal logics. Journal of Intelligenza Artificiale, 5(1):83-88, February 2011. (PDF)

  • M. Baldoni, A. Cordero, M. Giraudo, C. Grandi, and S. Rabellino. HAP-Moodle: una soluzione open-source per l'High-Availability e la performance applicata a Moodle. In M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, and S. Rabellino, editors, E-learning con Moodle in Italia: una sfida tra passato, presente e futuro, Collana ``I Manuali'', chapter V.6, pages 213-226. Seneca Edizioni, 2011.

  • M. Ciavarella, S. Coriasco, M. Marchisio, M. Baldoni, and S. Rabellino. Studiare Matematica con Moodle e Maple. In M. Baldoni, C. Baroglio, S. Coriasco, M. Marchisio, and S. Rabellino, editors, E-learning con Moodle in Italia: una sfida tra passato, presente e futuro, Collana ``I Manuali'', chapter I.3, pages 35-50. Seneca Edizioni, 2011.

  • 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)

  • E. Marengo, M. Baldoni, C. Baroglio, A. K. Chopra, V. Patti, and M. P. Singh. Commitments with Regulations: Reasoning about Safety and Control in REGULA. In K. Tumer, P. Yolum, L. Sonenberg, and P. Stone, editors, Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2011, volume 2, pages 467-474, Taipei, Taiwan, May 2011. IFAAMAS. (PDF)

2010

2009

2008

2007

2006

2005

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying the conformance of web services to global interaction protocols: a first step. In M. Bravetti and G. Zavattaro, editors, Proc. of 2nd Int. Workshop on Web Services and Formal Methods, WS-FM 2005, volume 3670 of LNCS, pages 257-271. Springer, Versailles, France, September, 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Post-Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, volume 3862 of Lecture Notes in Computer Science (LNCS), pages 57-75. Springer, 2006. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Roles as a Coordination Construct: Introducing powerjava. In L. Brim and I. Linden, editors, Proc. of 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems, MTCoord`05, volume 150(1) of Electronic Notes in Theoretical Computer Science, pages 9-29. Elsevier Science Direct, 2006. (PDF)

  • M. Baldoni, U. Endriss, A. Omicini, and P. Torroni, editors. Declarative Agent Languages and Technologies III: Third International Workshop, DALT 2005, Selected and Revised Papers, volume 3904 of Lecture Notes in Artificial Intelligence (LNAI). Springer, 2006.

  • G. Antoniou, M. Baldoni, C. Baroglio, R. Baumgartner, F. Bry, N. Henze, W. May, V. Patti, and S. T. Wierzchon. Personalization for the Semantic Web II. Technical Report IST506779/Hannover/A3-D4/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st 2005. (PDF)

  • G. Antoniou, M. Baldoni, C. Baroglio, P.A. Bonatti, C. Duma, N. E. Fuchs, A. Martelli, W. Nejdl, D. Olmedilla, V. Patti, J. Peer, and N. Shahmehri. The REWERSE View on Policies. In L. Kagal, T. Finin, and J. Hendler, editors, Proceedings of the Semantic Web and Policy Workshop, held in conjunction with the 4th International Semantic Web Conference, Galway, Ireland, November 2005. (PDF)

  • M. Baldoni, C. Baroglio, S. Carro-Martinez, A. Goy, N. Henze, A. Kulas, D. Magro, M. Montebello, V. Patti, and H. Williams. Thread on testbeds. Technical Report IST506779/Turin/A3-D2/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February, 28th 2005. (PDF)

  • M. Baldoni, C. Baroglio, S. De Marchis, B. Demo, A. Martelli, I. Perroteau, and L. Roversi. Esperienze di E-learning all'interno della Facoltà di Scienze Matematiche, Fisiche e Naturali dell'Università di Torino. In B. Boniolo, S. Margarita, and C. Spadaro, editors, Atti del Convegno E-learning e Università: iniziative ed esperienze in Italia ed Europa, Torino, Italy, September 2005. (PDF)

  • M. Baldoni, C. Baroglio, and B. Demo. Esperienze di E-learning del Corso di Studi in Informatica dell'Università di Torino: comunità di corsi in ambiente universitario. In P. Frignani, L. Galliani, M. Giacomantonio, and G. Poletti, editors, Proc. of the 11th Expo e-learning 2005, E-learning: protagonista dello sviluppo della società delle conoscenza, Ferrara, Italy, October 2005. (PDF)

  • M. Baldoni, C. Baroglio, C. Grandi, and L. Roversi. Live! I-Learn @ Home. In M. Scotto and G. Succi, editors, Proc. of 1st International Conference on Open Source Systems, OSS 2005, pages 294-295, Genova, July 2005. Agenzia Doppiavu. (PDF)

  • M. Baldoni, C. Baroglio, I. Gungui, A. Martelli, M. Martelli, V. Mascardi, V. Patti, and C. Schifanella. Reasoning About Agents' Interaction Protocols Inside DCaseLP. In J. Leite, A. Omicini, P. Torroni, and P. Yolum, editors, Post-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, number 3476 in LNAI, pages 112-131. Springer, 2005. (PDF)

  • M. Baldoni, C. Baroglio, and N. Henze. Personalization for the Semantic Web. In N. Eisinger and J. Maluszynski, editors, Reasoning Web, First International REWERSE Summer School 2005, volume 3564 of LNCS Tutorials, pages 173-212. Springer-Verlag, Malta, July 2005. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Mascardi, V. Patti, C. Schifanella, and L. Torasso. Personalization, verification and conformance for logic-base communicating agents. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Pre-proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, pages 12-27, London, UK, June 2005. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Verifying protocol conformance for logic-based communicating agents. In J. Leite and P. Torroni, editors, Post Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, volume 3487 of LNAI, pages 192-212. Springer, 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2005, pages 23-38, Utrecht, the Netherlands, July 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Roles and Coordination in powerjava. In J.-M. Jacquet and G. P. Picco, editors, Poster presentation at 7th Int. Conf. Coordination Models and Languages, COORDINATION'05, Namur. Belgium, April 2005. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Social roles, from agents back to objects. In F. Corradini, F. De Paoli, E. Merelli, and A. Omicini, editors, Proc. of WOA 2005: Dagli oggetti agli agenti, simulazione e analisi formale di sistemi complessi, Camerino, Italy, november 2005. Pitagora Editrice Bologna. (PDF)

  • M. Baldoni, U. Endriss, A. Omicini, and P. Torroni, editors. Proc. of International Workshop Declarative Agent Languages and Technologies, DALT 2005, Utrecht, The Netherlands, July 2005. (PDF)

  • M. Baldoni, C. Baroglio, R. Del Pero, A. Martelli, A. Messina, G. M. Sacco, P. Bertolotti, and C. Schifanella. A formal framework for handling audiovisual materials. In M. L. Sapino and P. Shenoy, editors, Proc. of the International Workshop on Multimedia Information Systems, MIS'04, pages 130-138, Washington DC, August 2004. Also in CD ACM Digital Library 2005. (PDF)

2004

2003

  • M. Baldoni, C. Baroglio, B. Demo, V. Patti, and L. Torasso. E-learning by doing, an approach based on techniques for reasoning about actions. In G. Adorni, L. Sarti, and G. Vercelli, editors, Proc. of 2nd Workshop on Artificial Intelligence & E-Learning, pages 16-24, Pisa, Italy, September 2003. (PDF)

  • M. Baldoni, C. Baroglio, L. Giordano, A. Martelli, and V. Patti. Reasoning about communicating agents in the semantic web. In F. Bry, H. Henze, and J. Maluszynski, editors, Proc. of the 1st International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2003, volume 2901 of LNCS, pages 84-98, Mumbai, India, December 2003. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about Conversation Protocols in a Logic-based Agent Language. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence, 8th Congress of the Italian Association for Artificial Intelligence, volume 2829 of LNAI, pages 300-311. Springer, September 2003. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction for personalizing web service fruition. In G. Armano, F. De Paoli, A. Omicini, and E. Vargiu, editors, Proc. of WOA 2003: Dagli oggetti agli agenti, sistemi intelligenti e computazione pervasiva, Villasimius (CA), Italy, September 2003. Pitagora Editrice Bologna. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about self and others: communicating agents in a modal action logic. In C. Blundo and C. Laneve, editors, Theoretical Computer Science, 8th Italian Conference, ICTCS'2003, volume 2841 of LNCS, pages 228-241, Bertinoro, Italy, October 2003. Springer. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Applying logic inference techniques for gaining flexibility and adaptivity in tutoring systems. In C. Stephanidis, editor, Proceedings of the 10th International Conference on Human-Computer Interaction (HCII 2003), Symposium on Human Interfaces 2003, 5th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 2th International Conference in Human-Computer Interaction, volume 4, pages 517-521, Crete, Greece, June 2003. Lawrence Erlbaum Associates, Inc. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Personalizing web services by reasoning about interaction protocols. In Peter P. Slezak, editor, Proc. of the 4th Joint International Conference on Cognitive Science (ICCS/ASCS-2003), Sydney, Australia, July 2003. (PDF)

2002

2001

  • M. Baldoni, C. Baroglio, A. Chiarotto, and V. Patti. Programming Goal-driven Web Sites using an Agent Logic Language. In I. V. Ramakrishnan, editor, Proc. of the Third International Symposium on Practical Aspects of Declarative Languages, volume 1990 of Lecture Notes in Computer Science, pages 60-75, Las Vegas, Nevada, USA, march 2001. Springer. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, A. Molia, and V. Patti. Exploiting planning capabilities of a rational agent in adaptive web-based recommendation systems: a case-study. In S. Pizzutilo, editor, Proc. of AI*IA 2001, Demo Session, pages 9-12, Bari, Italy, September 2001. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Structereless, Intention-guided Web Sites: Planning Based Adaptation. In C. Stephanidis, editor, Universal Access in HCI: Toward an Information Society for All, Proceedings of the 9th International Conference on Human-Computer Interaction (HCII 2001), Symposium on Human Interfaces 2001, 4th Intrnational Conference on engineering Psychology and Cognitive Ergonomics, 1th International Conference in Human-Computer Interaction, volume 3, pages 237-241, New Orleans, LA, USA, August 2001. Lawrence Erlbaum Associates, Inc. (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Reasoning about Complex Actions with Incomplete Knowledge: A Modal Approach. In A. Restivo, S. Ronchi Della Rocca, and L. Roversi, editors, Proc. of Theoretical Computer Science, 7th Italian Conference, ICTCS'2001, volume 2202 of Lecture Notes in Computer Science, pages 405-425, Turin, Italy, 2001. Springer. (PostScript) (PDF)

2000

  • M. Baldoni, F. Bergenti, S. Monica, and G. Vizzari. Special issue for the twentieth edition of the workshop 'From objects to agents, Guest Editorial. Journal of Intelligenza Artificiale, 14(1):3-6, September 2020. (PDF)

  • M. Baldoni. Normal Multimodal Logics with Interaction Axioms. In D. Basin, M. D'Agostino, D. M. Gabbay, S. Matthews, and L. Viganò, editors, Labelled Deduction, volume 17 of Applied Logic Series, pages 33-53. Applied Logic Series, Kluwer Academic Publisher, 2000. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, and D. Cavagnino. Use of IFS Codes for Learning 2D Isolated-Object Classification Systems. Journal of Computer Vision and Image Understanding, 77(3):371-387, March 2000. (PDF)

  • M. Baldoni, C. Baroglio, A. Chiarotto, A. Martelli, and V. Patti. Intention-guided Web Sites: A New Perspective on Adaptation. In P. L. Emiliani and C. Stephanidis, editors, Proc. of the 6th ERCIM Workshop, User Interfaces for All, pages 68-82, Florence, Italy, September 2000. (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. Modeling Agents in a Logic Action Language. In W. van der Hock and J.-J. Meyer, editors, Proc. of Workshop on Practical Reasoning Agents, FAPR2000, 2000. (PostScript) (PDF)

1999

1998

  • M. Baldoni. Normal Multimodal Logics: Automatic Deduction and Logic Programming Extension. PhD thesis, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1998. (PostScript)

  • M. Baldoni, C. Baroglio, and D. Cavagnino. XFF: a simple method to eXtract Fractal Features for 2D object recognition. In A. Amin, D. Dori, P. Pudil, and H. Freeman, editors, Adavances in Pattern Recognition. Joint IAPR International Workshops, SSPR'98 and SPR'98, volume 1451 of LNCS, pages 382-389. Springer-Verlag, 1998. (PDF)

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Egidi. Learning to Classify Images by means of Iterated Function Systems. In M. M. Novak, editor, Fractals and Beyond: Complexities in the Sciences, Proc. of the 5th International Multidisciplinary Conference, FRACTAL'98, pages 173-182. World Scientific, 1998. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Saitta. IFS-based feature extraction for learning to classify objects. In R. Cucchiara and M. Piccardi, editors, Proc. of the Workshop: Artificial Intelligence and Pattern Recognition Techniques for Computer Vision, IAPRVA'98, pages 9-14, Ferrara, Italy, 1998. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, D. Cavagnino, and L. Saitta. Towards Automatic Fractal Feature Extraction for Image Recognition. In H. Liu and H. Motoda, editors, Feature Extraction, Construction and Selection: a Data Mining Perspective, pages 357-373. Kluwer Academic Publisher, 1998. (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. A Modal Extention of Logic Programming: Modularity, Beliefs and Hypothetical Reasoning. Journal of Logic and Computation, 8(5):597-635, 1998. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. A Tableau Calculus for Multimodal Logics and some (Un)Decidability Results. In H. de Swart, editor, Proc. of the International Conference on Analytic Tableaux Related Methods, TABLEAUX'98, volume 1397 of LNAI, pages 44-59. Springer-Verlag, 1998. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. A Modal Programming Language for Representing Complex Actions. In A. Bonner, B. Freitag, and L. Giordano, editors, Proc. 1998 JICSLP'98 Post-Conference Workshop on Transactions and Change in Logic Databases, DYNAMICS'98, pages 1-15, Manchester, UK, June 1998. Technical Report MPI-9808. (PostScript) (PDF)

1997

  • M. Baldoni, C. Baroglio, D. Cavagnino, and G. Lo Bello. Extraction of Discriminant Features from Image Fractal Encoding. In M. Lenzerini, editor, Proc. of AI*IA 97: Advances in Artificial Intelligence, volume 1321 of LNAI, pages 127-138. Springer-Verlag, 1997. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, A. Martelli, and V. Patti. An Abductive Procedure for Reasoning about Actions in Modal Logic Programming. In J. Dix, L. M. Pereira, and T. C. Przymusinski, editors, Proc. of the 2nd International Workshop on Non-Monotonic Extentions of Logic Programming, NMELP'96, volume 1216 of LNAI, pages 132-150. Springer-Verlag, 1997. (PostScript) (PDF)

1996

1995

1994

  • M. Baldoni, L. Giordano, and A. Martelli. A Modal Extention of Logic Programming. In M. Alpuente, R. Barbuti, and I. Ramos, editors, Proc. 1994 Joint Conference on Declarative Programming GULP-PRODE'94, volume 2, pages 324-335, Peñiscola, Spain, September 1994. (PostScript) (PDF)

1993

  • M. Baldoni, L. Giordano, and A. Martelli. A Multimodal Logic to define Modules in Logic Programming. In D. Miller, editor, Proc. of the International Logic Programming Symposium, ILPS'93, pages 473-487, Vancouver, 1993. The MIT Press. (PDF)



[Group's HOME] [Department's HOME]

If you are interested in papers which are not available, please, contact directly the author(s).