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.
[Books, Proceedings, and PhD Thesis][International Journals][National Journals][Chapters in Books][International Conferences and Lecture Notes][Workshops and National Conferences][Project Deliverables and Technical Reports]

Books, Proceedings, and PhD Thesis

International Journals

National Journals

Chapters in Books

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Programming JADE and Jason Agents Based on Social Relationships Using a Uniform Approach. In F. Koch, C. Guttmann, and D. Busquets, editors, Advances in Social Computing and Multiagent Systems --- Joint Post-Proceeding of the 6th International Workshop on Collaborative Agents Research & Development, CARE 2015, and the 2nd International Workshop on Multi-agent Foundation of Social Computing, MFSC 2015, Revised Selected Papers, volume 541 of Communications in Computer and Information Science, pages 167-184. Springer International Publishing, 2015. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Sentiment Analysis in the Planet Art: a Case Study in the Social Semantic Web. In C. Lai, G. Semeraro, and E. Vargiu, editors, New Challenges in Distributed Information Filtering and Retrieval, volume 439 of Studies in Computational Intelligence, pages 131-149. Springer, 2013. (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, 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, 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.

  • M. Baldoni, C. Baroglio, C. Grandi, C. Mattutino, and S. Rabellino. Aiutare l'utente di Moodle: Un sistema di Help Desk. In T. Minerva, editor, E-learning, gestione e condivisione della conoscenza, pages 57-66. Edizioni Artestampa, 2010. (PDF)

  • M. Baldoni, A. Omicini, C. Baroglio, V. Mascardi, and P. Torroni. Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How? In A. Dovier and E. Pontelli, editors, Twenty-five Years of Logic Programming in Italy, volume 6125 of Lecture Notes in Computer Science, pages 204-230. Springer, 2010. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service selection by choreography-driven matching. In T. Gschwind and C. Pautasso, editors, Emerging Web Services Technology, volume II of Whitestein Series in Software Agent Technologies and Autonomic Computing, chapter 1, pages 5-22. Birkhäuser, September 2008. Revised version of WEWST 2007 paper. (PDF)

  • G. Antoniou, M. Baldoni, P. A. Bonatti, W. Nejdl, and D. Olmedilla. Rule-based policy specification. In T. Yu and J. Jajodia, editors, Security in Data Management in Decentralized Systems, volume 33 of Advances in Information Security. Springer, 2007. (PDF)

  • M. Baldoni, C. Baroglio, C. Grandi, C. Mattutino, and L. Roversi. CD-ROM live per il supporto online alla didattica: l'esperienza di Live! I-Learn@Home. In G. Franceschinis and D. Porporato, editors, Modelli e tecnologie della formazione in rete, pages 233-242. Edizioni Mercurio, 2007. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and Patti. Verification of protocol conformance and agent interoperability. In F. Toni and P. Torroni, editors, Post-Proc. of Sixth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA VI, volume 3900 of LNCS State-of-the-Art Survey, pages 265-283. Springer, 2006. (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. 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, 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)

International Conferences and Lecture Notes

  • 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, C. Baroglio, F. Capuzzimati, and R. Micalizio. Enriching Business Artifacts with Coordination. In X. Franch and J. Ralyté, editors, Proc. of CAiSE Forum 2017, Conference on Advanced Information Systems Engineering (CAiSE), volume 1848, pages 17-24, Essen, Germany, June 2017. CEUR, Workshop Proceedings. The extended version of this paper appears in the workshop BPAI 2017. (PDF)

  • M. Baldoni, C. Baroglio, K. M. May, R. Micalizio, and S. Tedeschi. ADOPT JaCaMo: Accountability-Driven Organization Programming Technique for JaCaMo. In A. Bo, A. Bazzan, J. Leite, L. van der Torre, and S. Villata, editors, PRIMA 2017: Principles and Practice of Multi-Agent Systems, 20th International Conference, Lecture Notes in Computer Science, Nice, France, October 30th-November 3rd 2017. Springer.

  • M. Baldoni, C. Baroglio, K. M. May, R. Micalizio, and S. Tedeschi. Supporting Organizational Accountability inside Multiagent Systems. In R. Basili, F. Esposito, R. Ferilli, and F. A. Lisi, editors, AI*IA 2017: Advances in Artificial Intelligence, XVI International Conference of the Italian Association for Artificial Intelligence, LNAI, Bari, Italy, November 14th-17th 2017. Springer. To appear.

  • M. Baldoni, C. Baroglio, D. Calvanese, R. Micalizio, and M. Montali. Towards Data- and Norm-aware Multiagent Systems. In M. Baldoni, J. P. Müller, I. Nunes, and R. Zalila-Wenkstern, editors, Post-Proc. of the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, Revised Selected and Invited Papers, number 10093 in LNAI, pages 22-38. Springer, 2016. (PDF)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and F. Capuzzimati. Engineering Commitment-based Business Protocols with the 2CL Methodology (Extended Abstract). In C. M. Jonker, S. Marsella, J. Thangarajah, and K. Tuyls, editors, Proc. of 15th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2016, pages 1259-1260, Singapore, May 9th-13th 2016. IFAAMAS. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Empowering Agent Coordination with Social Engagement. In M. Gavanelli, E. Lamma, and F. Riguzzi, editors, AI*IA 2015: Advances in Artificial Intelligence, XIV International Conference of the Italian Association for Artificial Intelligence, volume 9336 of LNAI, pages 89-101, Ferrara, Italy, September 2015. Springer. Best Paper Award (in memory of Giovanni Soda). (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Exploiting Social Commitments in Programming Agent Interaction. In Q. Chen, P. Torroni, S. Villata, J. Y. Hsu, and A. Omicini, editors, PRIMA 2015: Principles and Practice of Multi-Agent Systems, 18th International Conference, number 9387 in Lecture Notes in Computer Science, pages 566-574, Bertinoro, Italy, October 26th-30th 2015. Springer. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Leveraging Commitments and Goals in Agent Interaction. In D. Ancona, M. Maratea, and V. Mascardi, editors, Proc. of XXX Italian Conference on Computational Logic, CILC 2015, volume 1459, pages 85-100, Genova, Italy, July 1-3 2015. CEUR, Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Programming with Commitments and Goals in JaCaMo+ (Extended Abstract). In R. Bordini, E. Elkind, G. Weiss, and P. Yolum, editors, Proc. of 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, pages 1705-1706, Istanbul, Turkey, May 4th-8th 2015. IFAAMAS. (PDF)

  • M. Baldoni, C. Baroglio, A. K. Chopra, and M. P. Singh. Composing and Verifying Commitment-Based Multiagent Protocols. In Q. Yang and M. Wooldridge, editors, Proc. of 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 10-17, Buenos Aires, Argentina, July 25th-31th 2015. AAAI Press / International Joint Conferences on Artificial Intelligence. (PDF)

  • M. Baldoni, C. Baroglio, A. K. Chopra, and M. P. Singh. Social Contexts and Social Pragmatics (Extended Abstract). In R. Bordini, E. Elkind, G. Weiss, and P. Yolum, editors, Proc. of 14th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, pages 1739-1740, Istanbul, Turkey, May 4th-8th 2015. IFAAMAS. (PDF)

  • M. Baldoni, C. Baroglio, and R. Micalizio. Social Continual Planning in Open Multiagent Systems: a First Study. In Q. Chen, P. Torroni, S. Villata, J. Y. Hsu, and A. Omicini, editors, PRIMA 2015: Principles and Practice of Multi-Agent Systems, 18th International Conference, number 9387 in Lecture Notes in Computer Science, pages 575-584, Bertinoro, Italy, October 26th-30th 2015. Springer. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and E. Marengo. Constitutive and Regulative Specifications of Commitment Protocols: a Decoupled Approach (Extended Abstract). In Q. Yang and M. Wooldridge, editors, Proc. of 24th International Joint Conference on Artificial Intelligence, IJCAI 2015, pages 4143-4147, Buenos Aires, Argentina, July 25th-31th 2015. AAAI Press / International Joint Conferences on Artificial Intelligence. (PDF)

  • M. Baldoni. Android applications are inspired by Multi-Agent Systems. Presentation at Droidcon 2014, Torino, Italy, February 2014. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Social Computing in JaCaMo. In T. Schaub, Friedrich, and B. G. O'Sullivan, editors, Proc. of the 21st European Conference on Artificial Intelligence, ECAI 2014, volume 263 of Frontiers in Artificial Intelligence and Applications, pages 959-960, Prague, Czech Republic, August 2014. IOS Press. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Typing Multi-Agent Systems via Commitments. In F. Dalpiaz, J. Dix, and M. B. van Riemsdijk, editors, Post-Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, Revised Selected and Invited Papers, number 8758 in LNAI, pages 388-405. Springer, 2014. (PDF)

  • M. Baldoni and C. Baroglio. Some Thoughts about Commitment Protocols (Position Paper). In M. Baldoni, L. Dennis, V. Mascardi, and W. Vasconcelos, editors, Post-Proc. of the 10th International Workshop on Declarative Agent Languages and Technologies X, DALT 2012, Revised Selected and Invited Papers, number 7784 in LNAI, pages 190-196. Springer, 2013. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. 2COMM: a commitment-based MAS architecture. In M. Cossentino, A. El Fallah Seghrouchni, and M. Winikoff, editors, Post-Proc. of the 1st International Workshop on Engineering Multi-Agent Systems, EMAS 2013, Revised Selected and Invited Papers, number 8245 in LNAI, pages 38-57. Springer, 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, Post-Proc. of the 10th International Workshop on Declarative Agent Languages and Technologies X, DALT 2012, Revised Selected and Invited Papers, number 7784 in LNAI, pages 96-115. Springer, 2013. (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, 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)

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

  • 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, G. Boella, V. Genovese, A. Mugnaini, R. Grenna, and L. van der Torre. A Middleware for Modelling Organizations and Roles in Jade. In L. Braubach, J.-P. Briot, and J. Thangarajah, editors, Programming Multi-Agent Systems, 7th Int. Workshop, ProMAS 2009, Revised Selected Papers, volume 5919 of LNAI, pages 100-117. Springer, 2010. (PDF)

  • F. Abel, M. Baldoni, C. Baroglio, N. Henze, D. Krause, and V. Patti. Context-based Ranking in Folksonomies. In C. Cattuto, F. Menczer, and G. Ruffo, editors, Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009, pages 209-218, Torino, Italy, June 30th - July 1st 2009. ACM. (PDF)

  • E. Acotto, M. Baldoni, C. Baroglio, V. Patti, F. Portis, and G. Vaccarino. ArsMeteo: Artworks and Tags Floating over the Planet Art. In C. Cattuto, F. Menczer, and G. Ruffo, editors, Proc. of the 20th ACM International Conference on Hypertext and Hypermedia, Hypertext 2009, Demo Session, pages 331-332, Torino, Italy, June 30th - July 1st 2009. ACM. (PDF)

  • M. Baldoni, C. Baroglio, A. K. Chopra, N. Desai, V. Patti, and M. P. Singh. Choice, Interoperability, and Conformance in Interaction Protocols and Service Choreographies. In K. Decker, J. Sichman, C. Sierra, and C. Castelfranchi, editors, Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2009, pages 843-850, Budapest, Hungary, May 2009. IFAAMAS. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal Preservation by Choreography-Driven Matchmaking. In E. Di Nitto and M. Ripeanu, editors, Service-Oriented Computing - ICSOC 2007 Workshops, volume 4907 of LNCS, pages 413-426. Springer, 2009. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. The Interplay between Relationships, Roles and Objects. In F. Arbab, H. Sarbazi-azad, and M. Sirjani, editors, Proc. of the International Conference on Fundamentals of Software Engineering, FSEN'09, volume 5961 of Lecture Notes in Computer Science (LNCS), pages 402-415, Kish Island, Persian Gulf, Iran, April 2009. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Horvath, V. Patti, F. Portis, M. Avilia, and P. Grillo. Folksonomies meet ontologies in ARSMETEO: from social descriptions of artifacts to emotional concepts. In S. Borgo and L. Lesmo, editors, Formal Ontologies Meet Industry, FOMI 2008, pages 132-143, Torino, Italy, June 2008. IOS Press. (PDF)

  • M. Baldoni, G. Boella, V. Genovese, R. Grenna, and L. van der Torre. How to Program Organizations and Roles in the JADE Framework. In R. Bergmann, G. Lindemann, S. Kirn, and M. Pechoucek, editors, Proceedings of the Multiagent System Technologies, MATES 2008, volume 5244 of Lecture Notes in Artificial Intelligence (LNAI), pages 25-36, Germany, September 2008. (PDF)

  • M. Baldoni and E. Marengo. Curriculum Model Checking: Declarative Representation and Verification of Properties. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, volume 4753 of LNCS, pages 432-437. Springer, 2007. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Personalization Web Service for Curricula Planning and Validation. In W. May and M. Kifer, editors, Poster Presentation at the 4th European Semantic Web Conference, ESWC 2007, 2007. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. Reasoning-based Curriculum Sequencing and Validation: Integration in a Service-Oriented Architecture. In E. Duval, R. Klamma, and M. Wolpers, editors, Proc. of EC-TEL 2007 - Second European Conference on Technology Enhanced Learning, number 4753 in LNCS, pages 426-431. Springer, 2007. (PDF)

  • M. Baldoni, C. Baroglio, and E. Marengo. Curricula Modeling and Checking. In R. Basili and M. T. Pazienza, editors, Proc. of AI*IA 2007: Advances in Artificial Intelligence, 10th Congress of the Italian Association for Artificial Intelligence, volume 4733 of LNAI, pages 471-482, Rome, Italy, September 2007. Springer. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Post-Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2006, volume 4411 of Lecture Notes in Artificial Intelligence (LNAI), pages 149-164. Springer, 2007. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Relationships Meet their Roles in Object Oriented Programming. In F. Arbab, A. Movaghar, J. Rutten, and M. Sirjani, editors, Proc. of the International Symposium on Fundamentals of Software Engineering, FSEN'07, volume 4767 of Lecture Notes in Computer Science (LNCS), pages 440-448, Tehran, Iran, April 2007. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. In A. Dan and W. Lamersdorf, editors, Proc. of the 4th International Conference on Service Oriented Computing, ICSOC 2006, volume 4294 of LNCS, pages 339-351, Chicago, USA, December 2006. Springer. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: A Preliminary Report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Post-Proc. of the Fourth Workshop on Principles and Practice of Semantic Web Reasoning, PPSWR 2006, volume 4187 of LNCS, pages 63-77. Springer, 2006. (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. Interaction among Objects via Roles -- Sessions and Affordances in Java. In R. Gitzel, M. Alesky, M. Schader, and C. Krintz, editors, Proc. of the 4th International Conference on Principles and Practices of Programming In Java, PPPJ 2006, pages 188-193, Mannheim, Germany, August 30th -- September 1st 2006. ACM. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Modelling the Interaction between Objects: Roles as Affordances. In J. Lang, F. Lin, and J. Wang, editors, Knowledge Science, Engineering and Management: First International Conference, KSEM, volume 4092 of LNCS, pages 42-54, Guilin City, China, August 5-8 2006. Springer. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. powerjava: Ontologically Founded Roles in Object Oriented Programming Languages. In D. Ancona and M. Viroli, editors, Proc. of 21st ACM Symposium on Applied Computing, SAC 2006, Special Track on Object-Oriented Programming Languages and Systems, OOPS 2006, pages 1414-1418, Dijon, France, April 2006. ACM. (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, 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, 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. 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, C. Baroglio, A. Martelli, and V. Patti. Reasoning about interaction protocols for web service composition. In M. Bravetti and G. Zavattaro, editors, Proc. of 1st Int. Workshop on Web Services and Formal Methods, WS-FM 2004, volume 105 of Electronic Notes in Theoretical Computer Science, pages 21-36. Elsevier Science Direct, 2004. (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 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)

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

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

  • M. Baldoni, L. Giordano, and A. Martelli. A Framework for Modal Logic Programming. In M. Maher, editor, Proc. of the Joint International Conference and Symposium on Logic Programming, JICSLP'96, pages 52-66, Bonn, 1996. The MIT Press. (PostScript) (PDF)

  • M. Baldoni, L. Giordano, and A. Martelli. Translating a Modal Language with Embedded Implications into Horn Clause Logic. In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of the 5th International Workshop on Extensions of Logic Programming, ELP'96, volume 1050 of LNAI, pages 19-33. Springer-Verlag, 1996. (PostScript) (PDF)

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

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

Workshops and National Conferences

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Endowing Business Artifacts with a Normative Coordination Layer. In P. De Meo, M. N. Postorino, D. Rosaci, and G. M. L. Sarné, editors, Proc. of 18th Workshop "From Objects To Agents", WOA 2017, volume 1867, pages 71-77, Scilla (RC), Italy, June 15-16 2017. CEUR, Workshop Proceedings. A revised and extended version of this paper appears in the workshop BPAI 2017. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Objective Coordination with Business Artifacts and Social Engagements. In J. Koehler, M. Montali, B. Srivastava, H. Stuckenschmidt, R. De Masellis, C. Di Fracescomarino, F. M. Maggi, and A. Senderovich, editors, Proc. of First Workshop on BP Innovations with Artificial Intelligence, BPAI 2017, co-located with Business Process Management Conference (BPM) 2017, Barcelona, Spain, 11 September 2017. (PDF)

  • M. Baldoni, C. Baroglio, D. Calvanese, R. Micalizio, and M. Montali. Data and Norm-aware Multiagent Systems for Software Modularization. In M. Baldoni, J. P. Müller, I. Nunes, and R. Zalila-Wenkstern, editors, Proc. of the 4th International Workshop on Engineering Multi-Agent Systems, EMAS 2016, held in conjuction with AAMAS 2016, pages 23-38, Singapore, May 2016. (PDF)

  • M. Baldoni, C. Baroglio, K. M. May, R. Micalizio, and S. Tedeschi. Computational Accountability. In F. Chesani, P. Mello, and M. Milano, editors, Deep Understanding and Reasoning: A challenge for Next-generation Intelligent Agents, URANIA 2016, pages 56-62, Genoa, Italy, December 2016. CEUR, Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Programming JADE and Jason agents based on social relationships using a uniform approach. In A. K. Chopra, H. Verhagen, and D. Busquets, editors, Proc. of the Second International Workshop on Multiagent Foundations of Social Computing, MFSC 2015, Istanbul, Turkey, May 2015. (PDF)

  • M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio. Social Computing with JaCaMo+2COMM4JASON. In A. K. Chopra, L. van der Torre, H. Verhagen, and S. Villata, editors, Proc. of Normative Multi-Agent Systems, NorMAS 2015, Dagstuhl, Germany, March 2015. Schloss Dagstuhl, Leibniz-Zentrum für Informatik, Dagstuhl Publishing, Germany. (PDF)

  • M. Baldoni, C. Baroglio, and R. Micalizio. Social Continual Planning in Open Multiagent Systems. In G. Cortellessa, D. Magazzeni, M. Maratea, and I. Serina, editors, Proc. of 6th Italian Workshop on Planning and Scheduling, IPS 2015, volume 1493, pages 95-110, Ferrara, Italy, September 2015. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Reasoning about Social Relationships with Jason. In A. Chopra and H. Verhagen, editors, Proc. of the 1st International Workshop on Multiagent Foundations of Social Computing, SC-AAMAS 2014, held in conjuction with AAMAS 2014, Paris, France, May 2014. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Social Relationships for Designing Agent Interaction in JADE. In C. Santoro and F. Bergenti, editors, Proc. of 15th Workshop From Objects to Agents, WOA 2014, volume 1260, Catania, Italy, September 2014. CEUR, Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Typing Multi-Agent Systems via Commitments. In F. Dalpiaz, J. Dix, and M. B. van Riemsdijk, editors, Proc. of the 2nd International Workshop on Engineering Multi-Agent Systems, EMAS 2014, held in conjuction with AAMAS 2014, pages 341-359, Paris, France, May 2014. (PDF)

  • R. Micalizio, M. Baldoni, and C. Baroglio. Multiagent Planning as an Emerging Behavior in Agent Societies. Presentation at Normative Multi-Agent Systems (NorMAS 2014), University Residential Center, Bertinoro (Forlì-Cesena), Italy, September 2014. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. 2COMM: a commitment-based MAS architecture. In M. Cossentino, A. El Fallah Seghrouchni, and M. Winikoff, editors, Proc. of the 1st International Workshop on Engineering Multi-Agent Systems, EMAS 2013, held in conjuction with AAMAS 2013, pages 17-32, St. Paul, Minnesota, USA, May 2013. (PDF)

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Norms for Typing MAS Multi-Agent Systems. Presentation at Normative Multi-Agent Systems (NorMAS 2013), Lorentz Center, International Center for workshops in the Sciences, Leiden, The Netherlands, August 2013. (PDF)

  • M. Baldoni and C. Baroglio. Some Thoughts about Commitment Protocols. 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 99-103, Valencia, Spain, June 2012. (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. 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, F. Bergenti, A. Boccalatte, E. Marengo, M. Martelli, V. Mascardi, L. Padovani, V. Patti, A. Ricci, G. Rossi, and A. Santi. MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems. In N. Fornara and G. Vouros, editors, Proc. of the 3rd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'10, 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems, COIN@MALLOW 2010, volume 627, pages 134-146, Domain Valpré in Lyon, France, August 30 - September 2 2010. CEUR Workshop Proceedings. (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, Proc. of International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in conjuction with AAMAS 2010, pages 66-83, Toronto, Canada, May 2010. (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)

  • M. Baldoni, C. Baroglio, E. Marengo, V. Patti, and C. Schifanella. Joint Achievement of Services' Personal Goals. In M. Baldoni, C. Baroglio, Bentahar, and V. J. Mascardi, editors, Proc. of the 2nd Multi-Agent Logics, Languages, and Organisations Federated Workshops, MALLOW'009, Agents, Web Services and Ontologies, Integrated Methodologies International Workshop (MALLOW-AWESOME'009), volume 494, Turin, September 2009. CEUR Workshop Proceedings. (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Multimodal Logics for Reasoning about Interaction. In Il Milione (i.e. 2^6, June 3rd 2008), A Journey in the Computational Logic in Italy, Proc. of the Day Dedicated to Prof. Alberto Martelli, volume 487, pages 82-87. CEUR Workshop Proceedings, Turin, Italy, 2009. (PDF)

  • M. Baldoni, G. Boella, V. Genovese, A. Mugnaini, R. Grenna, and L. van der Torre. A Middleware for Modeling Organizations and Roles in Jade. In L. Braubach, J.-P.. Briot, and J. Thangarajah, editors, Proc. of the Seventh International Workshop on Programming Multi-Agent Systems, ProMAS 2009, pages 14-28, Budapest, Hungary, May 2009. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Service selection by choreography-driven matching. In T. Gschwind and C. Pautasso, editors, Proc. of the 2nd ECOWS Workshop on Emerging Web Services Technology, WEWST 2007, volume 313 of CEUR, Workshop Proceedings, pages 1-17, Halle (Saale), Germany, January 2008. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Conservative re-use ensuring matches for service selection. In M. Baldoni, M. Cossentino, F. De Paoli, and V. Seidita, editors, Proc. of WOA 2008: Dagli oggetti agli agenti, Evoluzione dell'agent development: metodologie, tool, piattaforme e linguaggi, pages 28-36, Palermo, Italy, November 2008. Seneca Edizioni. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Conservative re-use ensuring matches for service selection. In F. Klugl and J. Padget, editors, Proc. of Sixth European Workshop on Multi-Agent Systems, EUMAS 2008, Bath, UK, December 2008. Revised and extended version of WOA 2008 paper.

  • M. Baldoni, G. Boella, M. Dorni, R. Grenna, and A. Mugnaini. powerJADE: Organizations and Roles as Primitives in the JADE Framework. In M. Baldoni, M. Cossentino, F. De Paoli, and V. seidita, editors, Proc. of WOA 2008: Dagli oggetti agli agenti, Evoluzione dell'agent development: metodologie, tool, piattaforme e linguaggi, pages 84-92, Palermo, Italy, November 2008. Seneca Edizioni. (PDF)

  • M. Baldoni, V. Genovese, R. Grenna, and L. van der Torre. Adding Organizations and Roles as Primitives to JADE Framework. In G. Boella, G. Pigozzi, M. P. Singh, and H. Verhagen, editors, Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS 2008, pages 95-111, Luxembourg, July 2008. (PDF)

  • M. Baldoni, C. Baroglio, G. Berio, and E. Marengo. Declarative representation of curricula models: an LTL- and UML-based approach. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 34-41, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, E. Marengo, and V. Patti. A Service-Oriented Approach for Curriculum Planning and Validation. In Proceedings of the Multi-Agent Logics, Languages, and Organisations, Federated Workshops, MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies, MALLOW-AWESOME'007, pages 108-123, Durham, GB, September 2007. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Goal preservation by choreography-driven matchmaking. In J.-Y. Chung, W. Emmerich, G. Feuerlicht, W. Lamersdorf, G. Ortiz, and C. Zirpins, editors, Proc. of the Third International Workshop on Engineering Service-Oriented Applications: Analysis, Design and Composition, WESOA 2007, in conjuction with ICSOC 2007, pages 77-88, Vienna, Austria, September 2007. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Preserving player's goals: a choreography-driven matchmaking approach. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 132-139, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Adding Roles to Relationship Patterns. In M. Baldoni, A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors, Proc. of WOA 2007: Dagli oggetti agli agenti, Agenti e Industrie: Applicazioni tecnologiche degli agenti software, pages 112-125, Genova, Italy, September 2007. Seneca Edizioni. (PDF)

  • M. Baldoni, C. Baroglio, I. Brunkhorst, N. Henze, E. Marengo, and V. Patti. A Personalization Service for Curriculum Planning. In E. Herder and D. Heckmann, editors, Proc. of the 14th Workshop on Adaptivity and User Modeling in Interactive Systems, ABIS 2006, pages 17-20, Hildesheim, Germany, October 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Conformance and Interoperability in Open Environments. In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, volume 204 of CEUR, Workshop Proceedings, Catania, Italy, September 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. Interaction Protocols and Capabilities: a preliminary report. In J. J. Alferes, J. Bailey, W. May, and U. Schwertel, editors, Proc. of the 4th International Workshop on Principle and Practice of Semantic Web Reasoning, PPSWR 2006, pages 61-75, Budva, Montenegro, June 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and C. Schifanella. The Need of Capability Requirements Inside Choreographies and Interaction Protocols. In Y. Yan and L. Zhang, editors, Proc. of the 2006 International Workshop on Service Oriented Techniques, SOT06, pages 17-24, August 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, V. Patti, and L. Torasso. Verifying the compliance of personalized curricula to curricula models in the semantic web. In M. Bouzid and N. Henze, editors, Proc. of the Semantic Web Personalization Workshop, held in conjuction with the 3rd European Semantic Web Conference, pages 53-62, Budva, Montenegro, 2006. (PDF)

  • M. Baldoni, G. Boella, and L. van der Torre. Bridging Agent Theory and Object Orientation: Agent-like Communication among Objects. In R. H. Bordini, M. Dastani, J. Dix, and A. Seghrouchni, editors, Proc. of the International Workshop on Programming Multi-Agent Systems, ProMAS 2006, pages 117-132, Hakodate, Japan, May 2006.

  • M. Baldoni, G. Boella, and L. van der Torre. Importing Agent-like Interaction in Object Orientation. In F. De Paoli, A. Di Stefano, A. Omicini, and C. Santoro, editors, Proc. of WOA 2006: Dagli oggetti agli agenti, Sistemi GRID, P2P e Self-*, volume 204 of CEUR, Workshop Proceedings, Catania, Italy, September 2006. (PDF)

  • A. Martelli, M. Baldoni, C. Baroglio, V. Patti, C. Schifanella, and et al. Modeling, verifying and reasoning about web services (extended abstract). In A. Polleres, S. Decker, G. Gupta, and J. de Bruijn, editors, Applications of Logic Programming in the Semantic Web and Semantic Web Services, ALPSWS 2006, volume 196 of CEUR, Workshop Proceedings, pages 105-106, Seattle, WA, August 2006. (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. 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, 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, 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. 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, 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)

  • 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, Pre-Proc. of the International Workshop on Declarative Agent Languages and Technologies, DALT'04, pages 250-265, New York, USA, July 2004. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. Reasoning about logic-based agent interaction protocols. In G. Rossi and E. Panegai, editors, Proc. of Italian Conference on Computational Logic, CILC'04, pages 250-264, Parma, Italy, June 2004. (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, Pre-Proc. of Fifth International Workshop on Computational Logic in Multi-Agent Systems, CLIMA V, pages 82-97, Lisbon, Portugal, September 2004. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Reasoning about learning object metadata for adapting SCORM courseware. In L. Aroyo and C. Tasso, editors, AH 2004: Workshop Proceedings, Part I, International Workshop on Engineering the Adaptive Web, EAW'04: Methods and Technologies for personalization and Adaptation in the Semantic Web, pages 4-13, Eindhoven, The Netherlands, August 2004. Technische Universiteit Eindhoven. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. SCORM courseware adaptation on the Semantic Web. In G. Adorni, editor, Proc. of IX Convegno della Associazione Italiana Intelligenza Artificiale, Terzo Workshop Intelligenza Artificiale e E-Learning, Perugia, Italy, September 2004. (PDF)

  • C. Schifanella, L. Lusso, M. Baldoni, and C. Baroglio. Design and development of a visual environment for writing DyLOG programs. In M. Baldoni, F. De Paoli, A. Martelli, and A. Omicini, editors, Proc. of WOA 2004: Dagli Oggetti agli Agenti, Sistemi Complessi e Agenti Razionali, pages 43-50, Torino, Italy, November 2004. Pitagora Editrice Bologna. (PDF)

  • 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, 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, N. Henze, and V. Patti. Setting up a framework for comparing adaptive educational hypermedia: First steps and application on curriculum sequencing. In N. Henze, editor, Proc. of ABIS-Workshop 2002: Personalization for the mobile World, Workshop on Adaptivity and User Modeling in Interative Software Systems, pages 43-50, Hannover, Germany, October 2002. (PostScript) (PDF)

  • M. Baldoni, C. Baroglio, and V. Patti. Supporting Users in Adaptive Web-based Applications: Techniques from Reasoning about Actions. In F. De Paoli, S. Manzoni, and A. Poggi, editors, Proc. of WOA 2002: Dagli oggetti agli agenti, dall'informazione alla conoscenza, Milan, Italy, November 2002. Pitagora Editrice Bologna. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and L. Torasso. Using a rational agent in an adaptive web-based tutoring system. In P. Brusilovsky, N. Henze, and E. Millán, editors, Proc. of Workshop on Adaptive System for Web-based Education, 2nd Int. Conf. on Adaptve Hypermedia and Adaptive Web Based Systems, pages 43-55, Málaga, Spain, May 2002. Universidad de Málaga. (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, 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)

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

Project Deliverables and Technical Reports

  • M. Baldoni, C. Baroglio, and F. Capuzzimati. Programming and Reasoning about Social Relationships: a Commitment-based Infrastructure. Technical report, Dip. di Informatica, Univ. di Torino, November 2013. (PDF)

  • M. Baldoni, C. Baroglio, V. Patti, and C. Schifanella. Sentiment Analysis in the Planet Art: a Case Study in the Social Semantic Web. Technical Report RT 141/2012, Dipartimento di Informatica, Università degli Studi di Torino, 2012. (PDF)

  • M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, E. Marengo, and V. Patti. Constraint Modeling for Curriculum Planning and Validation. Technical Report RT 115/08, Dipartimento di Informatica, Università degli Studi di Torino, December 11th 2008. (PDF)

  • C. Abela, M. Baldoni, C. Baroglio, N. Henze, I. Brunkhorst, D. Krause, E. Marengo, and V. Patti. Testbeds: overview and state. Technical Report IST506779/Turin/A3-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 2007. (PDF)

  • M. Baldoni, C. Baroglio, P. Bonatti, L. Giordano, A. Martelli, V. Patti, and C. Schifanella. Negotiation Analysis and Design: Reasoning on Policies for Verifying Properties. Technical Report IST506779/Turin/I2-D10/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, September 3rd 2006. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, and V. Patti. A priori conformance verification for guaranteeing interoperability in open environments. Technical Report RT 93/06, Dipartimento di Informatica, UNiversità degli Studi di Torino, July 3rd 2006. (PDF)

  • I. Brunkhorst, N. Henze, V. Patti, J. J. A. Alferes, R. Amador, M. Baldoni, C. Baroglio, R. Baumgartner, W. May, and M. A. Klopotek. Testbeds ii: Early prototypes. Technical Report IST506779/Hannover,Turin/A3-D6/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, February 28th 2006. (PDF)

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

  • 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, N. Henze, V. Patti, C. Staff, and S. T. Wierzchon. Personalization Functionality for the Semantic Web: Identification and Description of Techniques. Technical Report IST506779/Hannover/A3-D1/D/PU/a1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st, 2004. (PDF)

  • P. A. Bonatti, N. Shalmehri, C. Duma, D. Olmedilla, W. Nejdl, M. Baldoni, C. Baroglio, A. Martelli, V. Patti, P. Coraggio, G. Antoniou, J. Peer, and N. E. Fuchs. Rule-based Policy Specification: State of the Art and Future Work. Technical Report IST506779/Naples/I2-D1/D/PU/b1, Reasoning on the Web with Rules and Semantics, REWERSE, August 31st, 2004. (PDF)

  • M. Baldoni, C. Baroglio, A. Martelli, G. M. Sacco, M. L. Sapino, P. Bertolotti, and C. Schifanella. Gestione di materiali audio-visivi: modello formale e descrizione di un prototipo. Technical Report 68/02, Dipartimento di Informatica, Università degli Studi di Torino, Italy, December 2002. (PDF)

  • M. Baldoni and D. Cavagnino. xn+1 = f (xn). Technical Report 22/96, Dipartimento di Informatica, Università degli Studi di Torino, Italy, 1996. (PostScript) (PDF)



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

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