 Baldoni's publicationsThe 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
- M. Alderighi,
M. Baldoni, C. Baroglio, R. Micalizio, and R. Tedeschi, editors.
From Objects to Agents, Proc. of
the 25th Workshop, WOA 2024, volume 3735, Bard (AO), Italy, July
24 2024. CEUR Workshop Proceedings.
Online CEUR-WS.org/Vol-3735/.
- M. Baldoni, C. Baroglio, M. Bucciarelli, S. Capecchi,
L. Castellanti, E. Gandolfi, Ianì. F., E. Marengo, and R. Micalizio.
Can
thinking strategies improveunderstanding of machine learning?.
In Book of Abstracts of 6th International ConferenceHigher Education
Learning Methodologies and Technologies Online, HELMeTO 2024, pages
200-202, Roma, Italy, 25-27 September 2024. Editore STUDIUM s.r.l.
(PDF)
- M. Baldoni, C. Baroglio, M. Bucciarelli, S. Capecchi,
E. Gandolfi, C. Gena, F. Ianì, E. Marengo, R. Micalizio, A. Rapp, and
I. Nabil Ras.
Does Any AI-based Activity
Contribute to Develop AI Conception? A Case Study with Italian Fifth and
Sixth Grade Classes.
In J. Dy, S. Natarajan, and M. Wooldridge, editors, Thirty-Eighth AAAI
Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference
on Innovative Applications of Artificial Intelligence, IAAI 2024,
Fourteenth Symposium on Educational Advances in Artificial Intelligence,
EAAI 2024, Vancouver, Canada, February 20-27 2024. AAAI Press.
(PDF)
- M. Baldoni, C. Baroglio, M. Bucciarelli, S. Capecchi,
E. Gandolfi, F. Ianì, E. Marengo, and R. Micalizio.
Thinking Strategies Training
to Support the Development of Machine Learning Understanding. A study
targeting fifth-grade children.
In Proceedings of ICIEI 2024, the 9th International Conference on
Information and Education Innovations, pages 85-92, Verbania, Italy,
April 12-14 2024. ACM.
(PDF)
- 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, E. Marengo, and R. Micalizio.
Reasoning on
responsibilities for optimal process alignment computation.
Journal of Data & Knowledge Engineering, 154(7), 2024.
(PDF)
- M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi.
Exceptions
and Accountability for Robust Applications of JaCaMo, August 28 2024.
Agent Toolkits Special Track at the 21st European Conference on Multi-Agent
Systems, EUMAS 2024.
(PDF)
- Matteo
Baldoni, Samuel H. Christie V, Amit K. Chopra, and Munindar P. Singh.
Jason+BSPL:
Including Communication Protocols in Jason, August 28 2024.
Agent Toolkits Special Track at the 21st European Conference on Multi-Agent
Systems, EUMAS 2024.
(PDF)
- Matteo
Baldoni, Samuel H. Christie V, Amit K. Chopra, and Munindar P. Singh.
Programming Multiagent Systems via
Information Protocols: the case of Jason+BSPL, October 2-4 2024.
The 6th International Asynchronous Programming Models Workshop.
(PDF)
- A. Garro,
A. Falcone, M. Baldoni, C. Baroglio, F. Bergenti, S. Mariani, A. Omicini, and
G. Vizzari.
Intelligent Agents and Environment.
In Encyclopedia of Bioinformatics and Computational Biology,
Reference Module in Life Sciences. Elsevier Academic Press, 2024.
To appear.
(PDF)
- A. Garro,
A. Falcone, M. Baldoni, C. Baroglio, F. Bergenti, S. Mariani, A. Omicini, and
G. Vizzari.
Intelligent Agents: Multi-Agent Systems.
In Encyclopedia of Bioinformatics and Computational Biology,
Reference Module in Life Sciences. Elsevier Academic Press, 2024.
To appear.
(PDF)
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
- 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)
- N. Alechina, M. Baldoni, and B. Logan, editors.
Engineering
Multi-Agent Systems: Third International Workshop, EMAS 2021,
Revised Selected Papers, volume 13190 of Lecture Notes
in Artificial Intelligence (LNAI), Virtual Event, May 3-4 2022.
Springer.
(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)
- M. Baldoni, C. Baroglio, G. Chiappino, R. Micalizio, and
S. Tedeschi.
Exception Handling in
SARL as a Responsibility Distribution.
In E. M. Shakshuki and A.-Ul-H. Yasar, editors, The 13th
International Conference on Ambient Systems, Networks and Technologies (ANT
2022) / The 5th International Conference on Emerging Data and Industry 4.0
(EDI40 2022) / Affiliated Workshops, volume 201 of Procedia
Computer Science, pages 795-800, Porto, Portugal, March 22-25 2022.
Elsevier.
(PDF)
- M. Baldoni,
C. Baroglio, R. Micalizio, and S. Tedeschi.
Exception Handling as a
Social Concern.
IEEE Internet Computing, 26(6):33-40, November-December 2022.
(PDF)
2021
- N. Alechina, M. Baldoni, and B. Logan, editors.
Engineering
Multi-Agent Systems: Third International Workshop, EMAS 2021,
Revised Selected Papers, volume 13190 of Lecture Notes
in Artificial Intelligence (LNAI), Virtual Event, May 3-4 2022.
Springer.
(PDF)
- M. Baldoni.
From Objects To Agents.
The 22nd Workshop From Objects to Agents, Mini-School WOA 2021, September, 1st
2021.
(PDF)
- M. Baldoni and
S. Bandini, editors.
AIxIA 2020: Advances
in Artificial Intelligence, XIX International Conference of the Italian
Association for Artificial Intelligence, volume 12414 of
Lecture Notes in Artificial Intelligence (LNAI), Virtual Event,
Italy, 2021. Springer.
- M. Baldoni,
C. Baroglio, O. Boissier, R. Micalizio, and S. Tedeschi.
Demonstrating Exception
Handling in JaCaMo.
In F. Dignum, J. M. Corchado, and F. de la Prieta, editors, The PAAMS
Collection, 19th International Conference, PAAMS 2021, volume 12946 of
Lecture Notes in Artificial Intelligence, pages 341-345,
Salamanca, Spain, October 6-8 2021. Springer.
(PDF)
- M. Baldoni, C. Baroglio, O. Boissier, R. Micalizio, and
S. Tedeschi.
Distributing
Responsibilities for Exception Handling in JaCaMo.
In F. Dignum, A. Lomuscio, U. Endriss, and Nowé, editors, Proc. of 20th
International Conference on Autonomous Agents and Multiagent Systems,
Demonstration Track, AAMAS 2021, pages 1752-1754, Virtual Event,
United Kingdom, May 3rd-7th 2021. ACM and IFAAMAS, Richland, SC.
(PDF)
- M. Baldoni,
C. Baroglio, O. Boissier, R. Micalizio, and S. Tedeschi.
Exception Handling in
Multiagent Organizations: Playing with JaCaMo.
In N. Alechina, M. Baldoni, and B. Logan, editors, Proc. of the 9th
International Workshop on Engineering Multi-Agent Systems, EMAS 2021, held in
conjuction with AAMAS 2021, Online, May 3rd-4th 2021.
(PDF)
- M. Baldoni, C. Baroglio, M. Bucciarelli, S. Capecchi,
E. Gandolfi, C. Gena, F. Ianì, E. Marengo, R. Micalizio, and A. Rapp.
EmpAI: L'Intelligenza
Artificiale imparata in modo naturale.
In G. Adorni, M. Allegra, S. Gaglio, M. Gentile, and N. Scarabottolo, editors,
Proc. of the DIDAMATICA 2021, Artificial Intelligence for
Education, pages 139-145, Palermo, Italy, October 7th-8th 2021. AICA.
(PDF)
- M. Baldoni, C. Baroglio, M. Bucciarelli, S. Capecchi,
E. Gandolfi, C. Gena, F. Ianì, E. Marengo, R. Micalizio, and A. Rapp.
Empowering AI competences in children:
A training program based on simple playful activities.
In O. Gigliotta and M. Ponticorvo, editors, Proc. of the Third Symposium
on Psychology-Based Technologies, PSYCHOBIT 2021, volume 3100,
page 12, Naples, Italy, October 4th-5th 2021. CEUR Workshop Proceedings.
(PDF)
- M. Baldoni,
C. Baroglio, and R. Micalizio.
Accountability and
Multiagent Organizations -- From Concepts to Software Engineering.
The 22nd European Agent Systems Summer School, EASSS 2021, July, 21st 2021.
(PDF)
- M. Baldoni,
C. Baroglio, R. Micalizio, and S. Tedeschi.
Reimagining Robust
Distributed Systems through Accountable MAS.
IEEE Internet Computing, 25(6):7-14, 2021.
(PDF)
- M. Baldoni,
C. Baroglio, R. Micalizio, and S. Tedeschi.
Robustness based on
Accountability in Multiagent Organizations.
In F. Dignum, A. Lomuscio, U. Endriss, and Nowé, editors, Proc. of 20th
International Conference on Autonomous Agents and Multiagent Systems, AAMAS
2021, pages 142-150, Virtual Event, United Kingdom, May 3rd-7th 2021.
ACM and IFAAMAS, Richland, SC.
(PDF)
- M. Baldoni,
C. Baroglio, R. Micalizio, and S. Tedeschi.
Social Commitments for
Engineering Interaction in Distributed Systems.
In M. Kalech, R. Abreu, and M. Last, editors, Artificial Intelligence
Methods for Software Engineering, chapter 3, pages 51-85. World
Scientific Publishing Company, 2021.
(PDF)
- M. Baldoni, F. Bergenti, A. El Fallah Seghrouchni, and
M. Winikoff.
Special issue on Current
trends in research on software agents and agent-based software systems.
Journal of Autonomous Agents and Multi-Agent Systems, 35(29),
2021.
(PDF)
- K. Satoh,
L. Giordano, and M. Baldoni.
Implementation of Choice
of Jurisdiction and Law in Private Internatinal Law by PROLEG
Meta-interpreter.
In P. Baroni, C. Benzmüller, and Yi N. Wáng, editors, Logic and
Argumentation, Proc. of the 4th Int. Conference, CLAR 2021, volume
13040 of Lecture Notes in Artificial Intelligence, pages 60-75,
Hangzhou, China, October 20-22 2021. Springer.
(PDF)
2020
- M. Baldoni and
S. Bandini, editors.
AIxIA 2020: Advances
in Artificial Intelligence, XIX International Conference of the Italian
Association for Artificial Intelligence, volume 12414 of
Lecture Notes in Artificial Intelligence (LNAI), Virtual Event,
Italy, 2021. Springer.
- 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, and R. Micalizio.
Fragility and Robustness
in Multiagent Systems.
In C. Baroglio, J. F. Hubner, and M. Winikoff, editors, Post-Proc. of the
8th International Workshop on Engineering Multi-Agent Systems, EMAS 2020,
Revised Selected Papers, number 12589 in LNAI, pages 61-77, Auckland,
New Zealand, May 8-9 2020. Springer.
(PDF)
- M. Baldoni,
C. Baroglio, and R. Micalizio.
Fragility and
Robustness in Multiagent Systems.
In C. Baroglio, J. F. Hübner, and M. Winikoff, editors, Proc. of the
8th International Workshop on Engineering Multi-Agent Systems, EMAS 2020,
held in conjuction with AAMAS 2020, Auckland, New Zealand, May 13-14
2020.
(PDF)
- M. Baldoni,
C. Baroglio, R. Micalizio, and S. Tedeschi.
Is Explanation the Real Key Factor for
Innovation?.
In C. Musto, D. Magazzeni, S. Ruggieri, and G. Semeraro, editors, Proc.
of Italian Workshop on Explainable Artificial Intelligence, XAI.it
2020, volume 2742, pages 87-95, Online Event, Italy, November 25-26
2020. CEUR, Workshop Proceedings.
(PDF)
- M. Baldoni,
C. Baroglio, R. Micalizio, and S. Tedeschi.
JADE/JaCaMo+2COMM:
Programming Agent Interactions.
In Y. Demazeau, T. Holvoet, J. M. Corchado, and S. Costantini, editors,
Advances in Practical Applications of Agents, Multi-Agent Systems, and
Trustworthiness. The PAAMS Collection, 18th International Conference, PAAMS
2020, volume 12092 of Lecture Notes in Artificial
Intelligence, pages 388-391, L'Aquila, Italy, October 7-9 2020.
Springer.
(PDF)
- 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)
- K. Satoh,
M. Baldoni, and L. Giordano.
Reasoning About Applicable Law in
Private International Law in Logic Programming.
In S. Villata, J. Harasta, and P. Kremen, editors, Legal Knowledge and
Information Systems - JURIX 2020: The Thirty-third Annual Conference,
volume 334 of Frontiers in Artificial Intelligence and
Applications, pages 281-285, Brno, Czech Republic, December 9-11
2020. IOS Press.
(PDF)
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
- 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, 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.
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, 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.
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, number 10621 in Lecture Notes in Computer
Science, pages 295-312, Nice, France, October 30th-November 3rd 2017.
Springer.
(PDF)
- M. Baldoni,
C. Baroglio, K. M. May, R. Micalizio, and S. Tedeschi.
Supporting
Organizational Accountability inside Multiagent Systems.
In R. Basili, F. Esposito, S. Ferilli, and F. A. Lisi, editors, AI*IA
2017: Advances in Artificial Intelligence, XVI International Conference of
the Italian Association for Artificial Intelligence, volume 10640 of
Lecture Notes in Computer Science, pages 403-417, Bari, Italy,
November 14th-17th 2017. Springer.
(PDF)
2016
- M. Baldoni, C. Baroglio, F. Bex, F. Grasso, N. Green, M.-R.
Namazi-Rad, M. Numao, M. Merlin, and M. T. Suarez, editors.
Principles and
Practice of Multi-Agent Systems: International Workshops: IWEC
2014, CMNA XV, IWEC 2015, Revised Selected Papers,
volume 9535 of Lecture Notes in Artificial Intelligence (LNAI),
Gold Coast, QLD, Australia and Bertinoro, Italy, 2016. Springer.
- 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, 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, 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, volume 1802, pages 56-62, Genoa, Italy, December 2016. CEUR,
Workshop Proceedings.
(PDF)
- M. Baldoni, A. K.
Chopra, T. C. Son, K. Hirayama, and P. Torroni, editors.
PRIMA 2016:
Principles and Practice of Multi-Agent Systems: 19th
International Conference, volume 9862 of Lecture Notes
in Artificial Intelligence (LNAI), Phuket, Thailand, 2016.
Springer.
- M. Baldoni, J. P.
Müller, I. Nunes, and R. Zalila-Wenkstern, editors.
Engineering Multi-Agent
Systems, Proc. of 4th International Workshop on Engineering Multi-Agent
Systems, EMAS 2016, held in conjuction with AAMAS 2016,
Singapore, May 2016.
(PDF)
- M. Baldoni, J. P. Müller, I. Nunes, and R. Zalila-Wenkstern,
editors.
Engineering
Multi-Agent Systems: Third International Workshop, EMAS 2016,
Revised Selected, and Invited Papers, volume 10093 of
Lecture Notes in Artificial Intelligence (LNAI), Singapore,
Singapore, 2016. Springer.
2015
- M. Baldoni, C. Baroglio, F. Bex, F. Grasso, N. Green, M.-R.
Namazi-Rad, M. Numao, M. Merlin, and M. T. Suarez, editors.
Principles and
Practice of Multi-Agent Systems: International Workshops: IWEC
2014, CMNA XV, IWEC 2015, Revised Selected Papers,
volume 9535 of Lecture Notes in Artificial Intelligence (LNAI),
Gold Coast, QLD, Australia and Bertinoro, Italy, 2016. Springer.
- M. Baldoni, L. Baresi, and M. Dastani, editors.
Engineering
Multi-Agent Systems: Third International Workshop, EMAS 2015,
Revised Selected, and Invited Papers, volume 9318 of
Lecture Notes in Artificial Intelligence (LNAI), Istanbul,
Turkey, 2015. Springer.
- M. Baldoni,
L. Baresi, and M. Dastani, editors.
Proc. of 3rd
International Workshop on Engineering Multi-Agent Systems, EMAS
2015, held in conjuction with AAMAS 2015, Istanbul, Turkey, May
2015.
(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, 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, 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, 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, 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.
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 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)
- F. Capuzzimati,
A. Violato, M. Baldoni, and G. Boella.
Business Process
Management for Legal Domains: Supporting Execution and Management of
Preliminary Injunctions.
In A. Rotolo, editor, Legal Knowledge and Information System --- JURIX
2015: The Twenty-Eighth Annual Conference, volume 279 of
Frontiers in Artificial Intelligence and Applications (FAIA),
pages 149-152, Braga, Portugal, December 10-11 2015. IOS Press.
(PDF)
2014
- M. Baldoni, C. Baroglio, F. Bex, F. Grasso, N. Green, M.-R.
Namazi-Rad, M. Numao, M. Merlin, and M. T. Suarez, editors.
Principles and
Practice of Multi-Agent Systems: International Workshops: IWEC
2014, CMNA XV, IWEC 2015, Revised Selected Papers,
volume 9535 of Lecture Notes in Artificial Intelligence (LNAI),
Gold Coast, QLD, Australia and Bertinoro, Italy, 2016. Springer.
- 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.
A Commitment-based Infrastructure
for Programming Socio-Technical Systems.
ACM Transactions on Internet Technology, Special Issue on Foundations of
Social Computing, 14(4):23:1-23:23, December 2014.
(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 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.
Social Computing with 2COMM.
ILIAS Seminar, University of Luxembourg, Luxembourg, June 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)
- 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,
C. Baroglio, and A. Garro.
Agents and
Multi-Agent Systems: From Objects to Agents, Guest Editorial.
SCS M&S Magazine, 4(3):3, December 2014.
(PDF)
- M. Baldoni,
C. Baroglio, E. Marengo, V. Patti, and F. Capuzzimati.
Engineering
commitment-based business protocols with 2CL methodology.
Journal of Autonomous Agents and Multi-Agent Systems,
28(4):519-557, July 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)
2013
- M. Baldoni,
C. Baroglio, E. Marengo, V. Patti, and F. Capuzzimati.
Engineering
commitment-based business protocols with 2CL methodology.
Journal of Autonomous Agents and Multi-Agent Systems,
28(4):519-557, July 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, F. Bergenti, and A. Garro, editors.
Proceedings of the 14th Workshop
"From Objects to Agents", WOA 2013, Turin, Italy, December 2013.
CEUR Workshop Proceedings.
Online CEUR-WS.org/Vol-1099/.
(PDF)
- M. Baldoni,
C. Baroglio, G. Boella, and R. Micalizio, editors.
AI*IA 2013:
Advances in Artificial Intelligence, XIII International Conference of the
Italian Association for Artificial Intelligence, volume 8249 of
Lecture Notes in Artificial Intelligence (LNAI), Turin, Italy,
2013. Springer.
- 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.
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, and F. Capuzzimati.
Norms
for Typing MAS.
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,
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, 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, E. Marengo, and V. Patti.
Constitutive and
Regulative Specifications of Commitment Protocols: a Decoupled Approach.
ACM Transactions on Intelligent Systems and Technology, Special Issue on
Agent Communication, 4(2):22:1-22:25, March 2013.
(PDF)
- M. Baldoni,
C. Baroglio, 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,
F. Chesani, P. Mello, and M. Montali, editors.
Popularize Artificial
Intelligence, Proc. of AI*IA Workshop Popularize Artificial Intelligence,
PAI 2013, volume 1107, Turin, Italy, December 2013. CEUR Workshop
Proceedings.
Online CEUR-WS.org/Vol-1107/.
(PDF)
- M. Baldoni,
L. Dennis, V. Mascardi, and W. Vasconcelos, editors.
Declarative
Agent Languages and Technologies X: Tenth International
Workshop, DALT 2012, Revised Selected and Invited
Papers, volume 7784 of Lecture Notes in Artificial
Intelligence (LNAI), Valencia, Spain, 2013. Springer.
- M. Baldoni,
P. Mello, and F. Riguzzi.
25 years of AI*IA, Guest
Editorial.
Journal of Intelligenza Artificiale, 7(2):69, November 2013.
(PDF)
2012
- 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, 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,
L. Dennis, V. Mascardi, and W. Vasconcelos, editors.
Declarative
Agent Languages and Technologies X: Tenth International
Workshop, DALT 2012, Revised Selected and Invited
Papers, volume 7784 of Lecture Notes in Artificial
Intelligence (LNAI), Valencia, Spain, 2013. Springer.
- 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.
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, E. Marengo, V. Patti, and C. Schifanella.
Flexible
Choreography-driven Service Selection.
Journal of Intelligenza Artificiale, 6(1):97-115, 2012.
(PDF)
- M. Baldoni,
C. Baroglio, V. Patti, and P. Rena.
From Tags to
Emotions: Ontology-driven Sentiment Analysis in the Social Semantic Web.
Journal of Intelligenza Artificiale, 6(1):41-54, 2012.
(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,
F. Chesani, B. Magnini, P. Mello, and M. Montali, editors.
Popularize Artificial Intelligence,
Proc. of AI*IA Workshop and Prize for celebrating 100th anniversary of Alan
Turing's birth, PAI 2012, Rome, Italy, June 15 2012. CEUR Workshop
Proceedings.
Online CEUR-WS.org/Vol-860/.
(PDF)
- M. Baldoni,
L. Dennis, V. Mascardi, and W. B. Vasconcelos, editors.
Proc. of
International Workshop Declarative Agent Languages and Technologies, DALT
2012, held in conjuction with AAMAS 2012, Valencia, Spain, June
2012.
(PDF)
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
- 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)
- F. Abel,
M. Baldoni, C. Baroglio, N. Henze, R. Kawase, D. Krause, and V. Patti.
Leveraging
Search and Context Exploration by Exploiting Context in Folksonomy
Systems.
New Review of Hypermedia and Multimedia, Special Issue on Hypertext and
Web Science: Emergent Structures Communities and Collective
Intelligence, 16(1-2):33-70, 2010.
(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, 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,
C. Baroglio, and E. Marengo.
Behavior-oriented Commitment-based
Protocols.
In H. Coelho, R. Studer, and M. Wooldridge, editors, Proc. of 19th
European Conference on Artificial Intelligence, ECAI 2010, pages
137-142, Lisbon, Portugal, August 2010. IOS Press.
(PDF)
- M. Baldoni,
C. Baroglio, and E. Marengo.
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, and V. Mascardi.
Special Issue: Agents, Web
Services and Ontologies: Integrated Methodologies, Guest Editorial.
Multiagent and Grid Systems: An International Journal,
6(2):103-104, 2010.
(PDF)
- M. Baldoni,
J. Bentahar, J. W. Lloyd, and M. B. van Riemsdijk, editors.
Declarative
Agent Languages and Technologies VII: Seventh International
Workshop, DALT 2009, Revised Selected and Invited
Papers, volume 5948 of Lecture Notes in Artificial
Intelligence (LNAI), Budapest, Hungary, 2010. Springer.
- 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)
- 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)
- E. Marengo and M. Baldoni.
Validazione e
pianificazione automatica di percorsi formativi.
Mondo Digitale, 36:64-74, December 2010.
(PDF)
2009
- 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,
J. Bentahar, J. W. Lloyd, and M. B. van Riemsdijk, editors.
Declarative
Agent Languages and Technologies VII: Seventh International
Workshop, DALT 2009, Revised Selected and Invited
Papers, volume 5948 of Lecture Notes in Artificial
Intelligence (LNAI), Budapest, Hungary, 2010. Springer.
- 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
and C. Baroglio, editors.
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.
CEUR Workshop Proceedings, 2009.
(PDF)
- M. Baldoni,
C. Baroglio, J. Bentahar, G. Boella, M. Cossentino, M. Dastani,
B. Dunin-Keplicz, G. Fortino, M.-P. Gleizes, J. Leite, V. Mascardi,
J. Padget, J. Pavón, A. Polleres, A. El Fallah Seghrouchni, P. Torroni,
and R. Verbrugge, editors.
Proc. of the 2nd Multi-Agent
Logics, Languages, and Organisations Federated Workshops,
MALLOW'009, volume 494, Turin, Italy, September 7-10 2009. CEUR
Workshop Proceedings.
Online CEUR-WS.org/Vol-494/.
(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, 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, 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,
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,
J. Bentahar, J. Lloyd, and M. B. van Riemsdijk, editors.
Proc. of
International Workshop Declarative Agent Languages and Technologies, DALT
2009, Budapest, Hungary, May 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,
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,
T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors.
Declarative
Agent Languages and Technologies VI: Sixth International
Workshop, DALT 2008, Revised Selected and Invited
Papers, volume 5397 of Lecture Notes in Artificial
Intelligence (LNAI), Estoril, Portugal, 2009. Springer.
2008
- M. Baldoni
and C. Baroglio, editors.
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.
CEUR Workshop Proceedings, 2009.
(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,
T. C. Son, M. B. van Riemsdijk, and M. Winikoff, editors.
Declarative
Agent Languages and Technologies VI: Sixth International
Workshop, DALT 2008, Revised Selected and Invited
Papers, volume 5397 of Lecture Notes in Artificial
Intelligence (LNAI), Estoril, Portugal, 2009. Springer.
- 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)
- 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,
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)
- 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, 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,
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, T. C. Son, M. B. van Riemsdijk, and M. Winikoff,
editors.
Declarative
Agent Languages and Technologies V: Fifth International
Workshop, DALT 2007, Revised, Selected, and Invited
Papers, volume 4897 of Lecture Notes in Artificial
Intelligence (LNAI).
Springer, 2008.
- M. Baldoni, T. C.
Son, M. B. van Riemsdijk, and M. Winikoff, editors.
Proc. of
International Workshop Declarative Agent Languages and Technologies, DALT
2008, Estoril, Portugal, May 2008.
(PDF)
2007
- 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,
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)
- 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, T. C. Son, M. B. van Riemsdijk, and M. Winikoff,
editors.
Declarative
Agent Languages and Technologies V: Fifth International
Workshop, DALT 2007, Revised, Selected, and Invited
Papers, volume 4897 of Lecture Notes in Artificial
Intelligence (LNAI).
Springer, 2008.
- 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)
- 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, pages 169-216. Springer, 2007.
(PDF)
- M. Baldoni and U. Endriss, editors.
Declarative Agent Languages and Technologies IV: Fourth
International Workshop, DALT 2006, Selected, Revised, and Invited
Papers, volume 4327 of Lecture Notes in Artificial
Intelligence (LNAI).
Springer, 2007.
- 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, 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 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, 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, 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, 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,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about
interaction protocols for customizing web service selection and
composition.
Journal of Logic and Algebraic Programming, special issue on Web Services
and Formal Methods, 70(1):53-73, January 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,
C. Baroglio, A. Martelli, V. Patti, and C. Schifanella.
Reasoning
on choreographies and capability requirements.
International Journal of Business Process Integration and Management,
IJBPIM, 2(4):247-261, 2007.
(PDF)
- M. Baldoni,
C. Baroglio, and V. Mascardi, editors.
Proceedings of the
Multi-Agent Logics, Languages, and Organisations, Federated Workshops,
MALLOW'007, Agent, Web Services and Ontologies, Integrated Methodologies
(MALLOW-AWESOME'007) workshop, Durham, GB, September 2007.
(PDF)
- M. Baldoni,
A. Boccalatte, F. De Paoli, M. Martelli, and V. Mascardi, editors.
Proc. of Workshop Dagli
Oggetti agli Agenti, Agenti e Industria: Applicazioni tecnologiche degli
agenti software, WOA 2007, 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,
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.
Interaction between
Objects in powerjava.
Journal of Object Technology, Special Issue OOPS Track at SAC
2006, 6(2), 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,
M. Cossentino, F. De Paoli, and V. Seidita, editors.
Proc. of Workshop Dagli
Oggetti agli Agenti, Evoluzione dell'agent development: metodologie, tool,
piattaforme e linguaggi, Palermo, Italy, September 2007. Seneca
Edizioni.
(PDF)
- M. Baldoni, T. C.
Son, M. B. van Riemsdijk, and M. Winikoff, editors.
Proc. of
International Workshop Declarative Agent Languages and Technologies, DALT
2007, Honolulu, Hawai'i, USA, May 2007.
(PDF)
2006
- M. Baldoni and U. Endriss, editors.
Declarative Agent Languages and Technologies IV: Fourth
International Workshop, DALT 2006, Selected, Revised, and Invited
Papers, volume 4327 of Lecture Notes in Artificial
Intelligence (LNAI).
Springer, 2007.
- M. Baldoni,
C. Baroglio, A. Martelli, and V. Patti.
Reasoning about
interaction protocols for customizing web service selection and
composition.
Journal of Logic and Algebraic Programming, special issue on Web Services
and Formal Methods, 70(1):53-73, January 2007.
(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.
Interaction between
Objects in powerjava.
Journal of Object Technology, Special Issue OOPS Track at SAC
2006, 6(2), 2007.
(PDF)
- M. Baldoni and
U. Endriss, editors.
Proc. of
International Workshop Declarative Agent Languages and Technologies, DALT
2006, Hakodate, Japan, May 2006.
(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, 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 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, 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, 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, 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)
- 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,
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.
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.
I fondamenti
ontologici dei linguaggi di programmazione orientati agli oggetti: i casi
delle relazioni e dei ruoli.
networks: journal of the philosophy of artificial intelligence and
cognitive sciences, 6, 2006.
(PDF)
- 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)
- 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, 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.
- 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)
- 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)
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
- G. Antoniou,
M. Baldoni, C. Baroglio, R. Baungartner, F. Bry, T. Eiter, N. Henze,
M. Herzog, W. May, V. Patti, S. Schaffert, R. Schidlauer, and H. Tompits.
Reasoning Methods for
Personalization on the Semantic Web.
Annals of Mathematics, Computing & Teleinformatics (AMCT),
2(1):1-24, 2004.
(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, 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)
- 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, 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, and V. Patti.
Web-based adaptive
tutoring: an approach based on logic agents and reasoning about actions.
Artificial Intelligence Review, 22(1):3-39, 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)
- M. Baldoni,
F. De Paoli, A. Martelli, and A. Omicini, editors.
Proc. of Workshop Dagli Oggetti agli
Agenti, Sistemi Complessi e Agenti Razionali, WOA 2004, Torino,
Italy, November 2004. Pitagora Editrice Bologna.
ISBN: 88-371-1533-4.
(PDF)
- M. Baldoni,
L. Giordano, A. Martelli, and V. Patti.
Programming Rational
Agents in a Modal Action Logic.
Annals of Mathematics and Artificial Intelligence, Special issue on
Logic-Based Agent Implementation, 41(2-4):207-257, 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)
- 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)
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
- M. Baldoni.
Un'introduzione
alla programmazione orientata agli oggetti attraverso lo schema
``Kernel-Modulo''.
Mokabyte, (66, 67, 68), September, October, and November 2002.
PartI, Part II, and Part III. It is
available also an extended
version (Technical Report 67/02, Dipartimento di Informatica,
Università degli Studi di Torino).
- 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, 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,
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)
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
- 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)
- 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)
1995
- 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)
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)
|