The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a non commercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, not withstanding that they hav eoffered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
|
[33]
|
M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi.
Exception handling in multi-agent oriented programming.
The Knowledge Engineering Review, 40(e4), May, 29 2025.
[ bib |
DOI |
http |
.pdf ]
|
|
[32]
|
M. Baldoni, C. Baroglio, E. Marengo, and R. Micalizio.
Reasoning on responsibilities for optimal process alignment
computation.
Journal of Data & Knowledge Engineering, 154(7):102353,
November 2024.
[ bib |
DOI |
http |
.pdf ]
|
|
[31]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[30]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[29]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[28]
|
M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi.
Reimagining Robust Distributed Systems through Accountable MAS.
IEEE Internet Computing, 25(6):7--14, 2021.
[ bib |
DOI |
http |
.pdf ]
|
|
[27]
|
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.
[ bib |
DOI |
http |
http ]
|
|
[26]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[25]
|
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.
[ bib |
DOI |
http |
http ]
|
|
[24]
|
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.
[ bib |
DOI |
.pdf ]
|
|
[23]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[22]
|
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.
[ bib |
DOI |
http |
http ]
|
|
[21]
|
M. Baldoni, C. Baroglio, F. Capuzzimati, and R. Micalizio.
Commitment-based Agent Interaction in JaCaMo+.
Fundamenta Informaticae, 159(1-2):1--33, 2018.
[ bib |
DOI |
http |
.pdf ]
|
|
[20]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[19]
|
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.
[ bib |
http |
.pdf ]
|
|
[18]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[17]
|
M. Baldoni, P. Mello, and F. Riguzzi.
25 years of AI*IA, Guest Editorial.
Journal of Intelligenza Artificiale, 7(2):69, November 2013.
[ bib |
DOI |
http |
.pdf ]
|
|
[16]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[15]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[14]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[13]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[12]
|
M. Baldoni and C. Baroglio.
A journey in Computational Logic in Italy, Guest Editorial.
Journal of Intelligenza Artificiale, 5(1):67--69, February
2011.
[ bib |
DOI |
http |
.pdf ]
|
|
[11]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[10]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[9]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[8]
|
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.
[ bib |
http |
.pdf ]
|
|
[7]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[6]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[5]
|
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.
[ bib |
http |
.pdf ]
|
|
[4]
|
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.
[ bib |
http |
.pdf ]
|
|
[3]
|
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.
[ bib |
http |
.pdf ]
|
|
[2]
|
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.
[ bib |
http |
.pdf ]
|
|
[1]
|
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.
[ bib |
.ps.gz |
.pdf ]
|
|
[34]
|
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/.
[ bib |
http ]
|
|
[33]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[32]
|
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.
[ bib |
DOI |
http ]
|
|
[31]
|
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.
[ bib |
DOI |
http ]
|
|
[30]
|
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/.
[ bib |
http |
.pdf ]
|
|
[29]
|
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.
[ bib |
http |
.pdf ]
|
|
[28]
|
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.
[ bib |
DOI |
http ]
|
|
[27]
|
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.
[ bib |
DOI |
http ]
|
|
[26]
|
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.
[ bib |
DOI |
http ]
|
|
[25]
|
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.
[ bib |
http |
.pdf ]
|
|
[24]
|
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.
[ bib |
DOI |
http ]
|
|
[23]
|
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/.
[ bib |
http |
.pdf ]
|
|
[22]
|
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/.
[ bib |
http |
.pdf ]
|
|
[21]
|
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.
[ bib |
DOI |
http ]
|
|
[20]
|
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.
[ bib |
DOI |
http ]
|
|
[19]
|
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/.
[ bib |
http |
.pdf ]
|
|
[18]
|
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.
[ bib |
http |
.pdf ]
|
|
[17]
|
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.
[ bib |
http ]
|
|
[16]
|
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.
[ bib |
DOI |
http ]
|
|
[15]
|
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/.
[ bib |
http |
.pdf ]
|
|
[14]
|
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.
[ bib |
http |
.pdf ]
|
|
[13]
|
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.
[ bib |
DOI |
http ]
|
|
[12]
|
M. Baldoni and C. Baroglio, editors.
Il Milione (i.e. 26, 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.
[ bib |
http |
.pdf ]
|
|
[11]
|
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.
[ bib |
http |
.pdf ]
|
|
[10]
|
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.
[ bib |
DOI |
http ]
|
|
[9]
|
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.
[ bib |
http |
.pdf ]
|
|
[8]
|
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.
[ bib |
http |
.pdf ]
|
|
[7]
|
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.
[ bib |
.html |
.pdf ]
|
|
[6]
|
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.
[ bib |
http |
.pdf ]
|
|
[5]
|
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.
[ bib |
DOI ]
|
|
[4]
|
M. Baldoni and U. Endriss, editors.
Proc. of International Workshop Declarative Agent Languages
and Technologies, DALT 2006, Hakodate, Japan, May 2006.
[ bib |
http |
.pdf ]
|
|
[3]
|
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.
[ bib |
DOI |
http ]
|
|
[2]
|
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.
[ bib |
http |
.pdf ]
|
|
[1]
|
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.
[ bib |
http |
.pdf ]
|
|
[24]
|
M. Baldoni, C. Baroglio, S. Galland, R. Micalizio, F. Outay, and S. Tedeschi.
Declarative Protocols for Engineering MAS: The Integration of BSPL
and SARL.
In A. Olaru, L. G. Nardin, A. Sorici, and A. M. Florea, editors,
Distributed AI in the Modern Word - Technical and Social Aspects of
Interacting Intelligent Agents. Elsevier, 2026.
To appear.
[ bib |
.pdf ]
|
|
[23]
|
A. Ciortea, K. Beaumont, G. Aguzzi, M. Baldoni, C. Baroglio, A. K. Chopra,
G. Ciatto, R. Collier, M. Dastani, A. Ferrando, Ö. Gatti,
Andreaand Gürcan, T. Kampik, L. Jérémy, S. Maneerat, E. Marengo,
V. Mascardi, S. Meyer, R. Micalizio, G. Muller, V. Nallur, R. Nianke,
A. Olaru, H. Pajot, C. Petridis, I. S. W. R. Prasetya, A. Ricci, A. Sorici,
and M. Tedeschi, Stefano Winikoff.
Engineering Multi-Agent Systems and Generative AI: Report from the
Anget Toolkit 2025 Community Session.
In M. Baldoni, F. Klügl, A. Olaur, A. Sorici, and A. M. Florea,
editors, Multi-Agent Systems, Post-Proc. of the 22nd European Conference
on Multi-Agent Systems, EUMAS 2025, volume 16258 of LNAI, Bucarest,
Romania, 2026. Springer.
To appear.
[ bib |
http |
.pdf ]
|
|
[22]
|
M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi.
Robust multi-agent systems in JaCaMo: A practical guide to the use
of exception handling and accountability.
In R. Collier, V. Mascardi, and A. Ricci, editors, Agents and
Multi-agent Systems Development - Platforms, Toolkits, Technologies,
chapter 9, pages 231--259. Springer, 2026.
[ bib |
DOI |
http |
.pdf ]
|
|
[21]
|
A. Garro, A. Falcone, M. Baldoni, C. Baroglio, F. Bergenti, S. Mariani,
A. Omicini, and G. Vizzari.
Intelligent Agents and Environment.
In S. Ranganathan, M. Cannataro, and M. A. Khan, editors,
Encyclopedia of Bioinformatics and Computational Biology, 2nd Edition,
volume 1 of Reference Module in Life Sciences, pages 372--378.
Elsevier, 2025.
[ bib |
DOI |
http |
.pdf ]
|
|
[20]
|
A. Garro, A. Falcone, M. Baldoni, C. Baroglio, F. Bergenti, S. Mariani,
A. Omicini, and G. Vizzari.
Intelligent Agents: Multi-Agent Systems.
In S. Ranganathan, M. Cannataro, and M. A. Khan, editors,
Encyclopedia of Bioinformatics and Computational Biology, 2nd Edition,
volume 1 of Reference Module in Life Sciences, pages 379--385.
Elsevier, 2025.
[ bib |
DOI |
http |
.pdf ]
|
|
[19]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[18]
|
A. Garro, M. Mühlhäuser, A. Tundis, M. Baldoni, C. Baroglio, F. Bergenti,
and P. Torroni.
Intelligent Agents: Multi-Agent Systems.
In S. Ranganathan, M. Gribskov, K. Nakai, and C. 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.
[ bib |
DOI |
http |
.pdf ]
|
|
[17]
|
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.
[ bib |
.html |
.pdf ]
|
|
[16]
|
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.
[ bib |
.html |
.pdf ]
|
|
[15]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[14]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[13]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[12]
|
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.
[ bib |
http ]
|
|
[11]
|
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.
[ bib |
http ]
|
|
[10]
|
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.
[ bib |
http ]
|
|
[9]
|
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.
[ bib |
DOI |
.pdf ]
|
|
[8]
|
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.
[ bib |
http |
.pdf ]
|
|
[7]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[6]
|
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.
[ bib |
http |
.pdf ]
|
|
[5]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[4]
|
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.
[ bib |
DOI |
.html |
.pdf ]
|
|
[3]
|
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.
[ bib |
DOI |
.pdf ]
|
|
[2]
|
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.
[ bib |
.ps.gz |
.pdf ]
|
|
[1]
|
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.
[ bib |
.pdf ]
|
|
[54]
|
M. Baldoni, C. Baroglio, M. Bucciarelli, S. Capecchi, L. Castellani,
E. Gandolfi, F. Ianì, E. Marengo, and R. Micalizio.
Unplugged Activities on Machine Learning and Their Evaluation
Through Mental States Attribution.
In The 40th Annual AAAI Conference on Artificial Intelligence,
AAAI 2026, The Thirty-Eighth Conference on Innovative Applications of
Artificial Intelligence, IAAI 2026, The 16th Symposium on Educational
Advances in Artificial Intelligence, EAAI 2026, Singapore, January 20-27
2026. AAAI Press.
To appear.
[ bib |
.pdf ]
|
|
[53]
|
M. Baldoni, C. Baroglio, R. Micalizio, and S. Tedeschi.
Accountability as a Software Engineering Tool for Multi-Agent
Systems.
In R. Markovich, L. Di Caro, A. Rapp, and C. Schifanella, editors,
Legal Knowledge and Information Systems, JURIX 2025: The Thirty-eighth
Annual Conference, volume 416 of Frontiers in Artificial Intelligence
and Applications, pages 270--275, Turin, Italy, December, 9--11 2025. IOS
Press.
[ bib |
DOI |
.pdf ]
|
|
[52]
|
M. Baldoni, C. Baroglio, S. Galland, R. Micalizio, F. Outay, and S. Tedeschi.
Protocoles d'interaction dans un langage de programmation
orienté-agent impératif : le cas de BSPL et de SARL.
In G. Bonnet, editor, Confiance et systèmes multi-agents -
Trente-troisièmes journées francophones sur les systèmes
multi-agents, pages 99--108, Dijon, France, July, 2--4 2025.
Cépaduès.
[ bib |
http |
.pdf ]
|
|
[51]
|
M. Baldoni, S. H. Christie V, M. P. Singh, and A. K. Chopra.
Orpheus: Programming Protocol-Based BDI Agents.
In S. Das, A. Nowé, and Y. Vorobeych, editors, Proc. of
24th International Conference on Autonomous Agents and Multiagent Systems,
AAMAS 2025, pages 3006--3008, Detroit, Michigan, USA, 2025. IFAAMAS / ACM.
[ bib |
DOI |
http |
.pdf ]
|
|
[50]
|
M. Baldoni, S. H. Christie V, M. P. Singh, and A. K. Chopra.
Orpheus: Engineering Multiagent Systems via Communicating Agents.
In T. Walsh, J. Shah, and Z. Kolter, editors, Proc.
Thirty-Nineth AAAI Conference on Artificial Intelligence, AAAI 2025,
volume 39, pages 23135--23143, Philadelphia, Pennsylvania, PA, USA, 2025.
AAAI Press.
[ bib |
DOI |
http |
.pdf ]
|
|
[49]
|
A. K. Chopra, M. Baldoni, S. H. Christie V, and M. P. Singh.
Azorus: Commitments over Protocols for BDI Agents.
In S. Das, A. Nowé, and Y. Vorobeych, editors, Proc. of
24th International Conference on Autonomous Agents and Multiagent Systems,
AAMAS 2025, pages 490--499, Detroit, Michigan, USA, 2025. IFAAMAS / ACM.
Finalist Best Paper Award.
[ bib |
DOI |
http |
.pdf ]
|
|
[48]
|
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.
In S. Das, A. Nowé, and Y. Vorobeych, editors, Proc. of
24th International Conference on Autonomous Agents and Multiagent Systems,
AAMAS 2025, pages 2426--2427, Detroit, Michigan, USA, 2025. IFAAMAS / ACM.
[ bib |
DOI |
http |
.pdf ]
|
|
[47]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[46]
|
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, volume 38, pages 23060--23068,
Vancouver, Canada, February 20-27 2024. AAAI Press.
[ bib |
DOI |
http |
.pdf ]
|
|
[45]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[44]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[43]
|
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. 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.
[ bib |
DOI |
http |
.pdf ]
|
|
[42]
|
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.
[ bib |
http |
.pdf ]
|
|
[41]
|
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.
[ bib |
http |
.pdf ]
|
|
[40]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[39]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[38]
|
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.
[ bib |
DOI |
http |
http ]
|
|
[37]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[36]
|
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.
[ bib |
http |
.pdf ]
|
|
[35]
|
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.
[ bib |
http |
.pdf ]
|
|
[34]
|
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.
[ bib |
http |
.pdf ]
|
|
[33]
|
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.
[ bib |
DOI |
http |
http ]
|
|
[32]
|
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.
[ bib |
http |
.pdf ]
|
|
[31]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[30]
|
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.
[ bib |
http |
.pdf ]
|
|
[29]
|
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.
[ bib |
http |
.pdf ]
|
|
[28]
|
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.
[ bib |
http |
.pdf ]
|
|
[27]
|
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.
[ bib |
http |
.pdf ]
|
|
[26]
|
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.
[ bib |
http |
.pdf ]
|
|
[25]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[24]
|
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.
[ bib |
http |
.pdf ]
|
|
[23]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[22]
|
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.
[ bib |
http |
.pdf ]
|
|
[21]
|
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.
[ bib |
http |
.pdf ]
|
|
[20]
|
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.
[ bib |
http |
.pdf ]
|
|
[19]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[18]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[17]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[16]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[15]
|
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.
[ bib |
http |
.pdf ]
|
|
[14]
|
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.
[ bib |
http |
.pdf ]
|
|
[13]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[12]
|
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.
[ bib |
DOI |
.html |
.pdf ]
|
|
[11]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[10]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[9]
|
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.
[ bib |
http |
.pdf ]
|
|
[8]
|
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.
[ bib |
.pdf ]
|
|
[7]
|
M. Baldoni, C. Baroglio, and V. Patti.
Personalizing web services by reasoning about interaction protocols.
In P. P. Slezak, editor, Proc. of the 4th Joint International
Conference on Cognitive Science (ICCS/ASCS-2003), Sydney, Australia, July
2003.
[ bib |
.pdf ]
|
|
[6]
|
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.
[ bib |
.pdf ]
|
|
[5]
|
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.
[ bib |
.pdf ]
|
|
[4]
|
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.
[ bib |
.html |
.ps |
.pdf ]
|
|
[3]
|
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.
[ bib |
http |
.ps.gz |
.pdf ]
|
|
[2]
|
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.
[ bib |
.ps.gz |
.pdf ]
|
|
[1]
|
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.
[ bib |
.pdf ]
|
|
[52]
|
S. Rodriguez, A. Bairy, M. Baldoni, P. Benjamin, C. Blessing, N. Brandstetter,
A. K. Chopra, T. Clemen, L. A. Dennis, A. Esmaeli, L. Feng, A. Ferrando,
Z. Ghorrati, V. Guillet, O. Gürcan, S. Hans, J. Herber, M. Viviana,
M. Mauri, J. P. Müller, J. Thangarajah, R. Tyl, and Y. Yang.
Engineering the Next Generation of Multi-Agent Systems: A Community
Roadmap from EMAS 2025.
In S. Rodriguez, L. Feng, and J. P. Müller, editors,
Engineering Multi-Agent Systems. Post-Proc. of the 13th International
Workshop on Engineering Multi-Agent Systems, EMAS 2025, Revised Selected
Papers, volume 16407 of LNAI, pages 238--258, Detroit, Michigan, USA,
May 2026. Springer Nature.
[ bib |
DOI |
http |
.pdf ]
|
|
[51]
|
M. Baldoni, C. Baroglio, E. Marengo, and R. Micalizio.
Supporting Accountability in Business Processes.
In M. Baldoni, F. Klügl, A. Olaur, A. Sorici, and A. M. Florea,
editors, Multi-Agent Systems, Post-Proc. of the 22nd European Conference
on Multi-Agent Systems, EUMAS 2025, volume 16258 of LNAI, Bucarest,
Romania, 2026. Springer.
To appear.
[ bib |
http |
.pdf ]
|
|
[50]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[49]
|
V. Charpenay, M. Baldoni, A. Ciortea, S. Cranefield, J. Padjet, and P. M.
Singh.
Governing Agents on the Web (Blue Sky Ideas).
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[48]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[47]
|
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 Y. 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.
[ bib |
DOI |
http |
.pdf ]
|
|
[46]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[45]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[44]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[43]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[42]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[41]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[40]
|
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 T. C.
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[39]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[38]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[37]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[36]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[35]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[34]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[33]
|
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).
[ bib |
DOI |
http |
.pdf ]
|
|
[32]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[31]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[30]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[29]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[28]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[27]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[26]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[25]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[24]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[23]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[22]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[21]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[20]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[19]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[18]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[17]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[16]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[15]
|
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.
[ bib |
DOI |
.html |
.pdf ]
|
|
[14]
|
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, Sept. 2005.
[ bib |
DOI |
http |
.pdf ]
|
|
[13]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[12]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[11]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[10]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[9]
|
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.
[ bib |
DOI |
.pdf ]
|
|
[8]
|
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.
[ bib |
DOI |
.pdf ]
|
|
[7]
|
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.
[ bib |
DOI |
http |
.ps.gz |
.pdf ]
|
|
[6]
|
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.
[ bib |
DOI |
http |
.ps.gz |
.pdf ]
|
|
[5]
|
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.
[ bib |
DOI |
.pdf ]
|
|
[4]
|
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.
[ bib |
DOI |
http |
.ps.gz |
.pdf ]
|
|
[3]
|
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.
[ bib |
DOI |
.ps.gz |
.pdf ]
|
|
[2]
|
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.
[ bib |
DOI |
http |
.ps.gz |
.pdf ]
|
|
[1]
|
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.
[ bib |
DOI |
http |
.ps.gz |
.pdf ]
|
|
[85]
|
M. Baldoni, C. Baroglio, A. K. Chopra, R. Marengo, Elisa Micalizio, and
S. Tedeschi.
Interaction-Oriented Programming for Agentic AI (Position
Statement), September 2025.
Agent Toolkits Special Track at the 22nd European Conference on
Multi-Agent Systems, EUMAS 2025.
[ bib |
.pdf ]
|
|
[84]
|
M. Baldoni, C. Baroglio, A. K. Chopra, E. Marengo, R. Micalizio, and
S. Tedeschi.
BSPL and Commitments for Modeling Interaction in Agentic AI.
In M. Wooldridge, S. Kraus, E. La Malfa, and S. Marro, editors,
Rethinking Multi-Agent Systems in the Era of LLMs, A One Day Workshop,
University of Oxford, UK, September, 16 2025.
[ bib |
http |
.pdf ]
|
|
[83]
|
M. Baldoni, S. H. Christie V, A. K. Chopra, and M. P. Singh.
Programming Multiagent Systems via Information Protocols: the case
of Jason+BSPL, October 2-4 2024.
The 6th International Asynchronous Programming Models Workshop.
[ bib |
http |
.pdf ]
|
|
[82]
|
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.
[ bib |
http |
.pdf ]
|
|
[81]
|
M. Baldoni, S. H. Christie V, A. K. Chopra, and M. 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.
[ bib |
http |
.pdf ]
|
|
[80]
|
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.
[ bib |
http |
.pdf ]
|
|
[79]
|
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.
[ bib |
http |
.pdf ]
|
|
[78]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[77]
|
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.
[ bib |
http |
.pdf ]
|
|
[76]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[75]
|
M. Baldoni.
From Objects To Agents.
The 22nd Workshop From Objects to Agents, Mini-School WOA 2021,
September, 1st 2021.
[ bib |
http |
.pdf ]
|
|
[74]
|
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.
[ bib |
http |
.pdf ]
|
|
[73]
|
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.
[ bib |
http |
.pdf ]
|
|
[72]
|
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.
[ bib |
.html |
.pdf ]
|
|
[71]
|
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.
[ bib |
http |
.pdf ]
|
|
[70]
|
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.
[ bib |
http |
.pdf ]
|
|
[69]
|
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.
[ bib |
http |
.pdf ]
|
|
[68]
|
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.
[ bib |
http |
.pdf ]
|
|
[67]
|
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.
[ bib |
http |
.pdf ]
|
|
[66]
|
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.
[ bib |
http |
.pdf ]
|
|
[65]
|
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.
[ bib |
http |
.pdf ]
|
|
[64]
|
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.
[ bib |
http |
.pdf ]
|
|
[63]
|
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.
[ bib |
http |
.pdf ]
|
|
[62]
|
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.
[ bib |
.html |
.pdf ]
|
|
[61]
|
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.
[ bib |
http |
.pdf ]
|
|
[60]
|
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.
[ bib |
http |
.pdf ]
|
|
[59]
|
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.
[ bib |
http |
.pdf ]
|
|
[58]
|
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.
[ bib |
http |
.pdf ]
|
|
[57]
|
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.
[ bib |
http |
.pdf ]
|
|
[56]
|
S. Lanza, S. Vallana, and C. Baroglio.
CME: A Tool for Designing Business Models based on Commitment
Patterns.
In M. Baldoni, F. Chesani, , P. Mello, and M. Montali, editors,
Popularize Artificial Intelligence, Proc. of AI*IA Workshop Popularize
Artificial Intelligence, PAI 2013, co-located with the 13th Conference of the
Italian Association for Artificial Intelligence (AI*IA 2013), volume 1107,
pages 51--57, Turin, Italy, December 2013. CEUR Workshop Proceedings.
Online CEUR-WS.org/Vol-1107/.
[ bib |
http |
.pdf ]
|
|
[55]
|
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.
[ bib |
http |
.pdf ]
|
|
[54]
|
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.
[ bib |
.pdf ]
|
|
[53]
|
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.
[ bib |
http |
.pdf ]
|
|
[52]
|
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.
[ bib |
http |
.pdf ]
|
|
[51]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[50]
|
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.
[ bib |
DOI |
http |
.pdf ]
|
|
[49]
|
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.
[ bib |
http |
.pdf ]
|
|
[48]
|
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.
[ bib |
http |
.pdf ]
|
|
[47]
|
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.
[ bib |
http |
.pdf ]
|
|
[46]
|
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 <a
href="http://www.di.unito.it/˜argo/papers/2010_BBM_CILC.pdf">extended and
improved version</a> has been published in the <a
href="http://ceur-ws.org/Vol-598/">Proc. of the 25-esimo Convegno Italiano di
Logica Computazionale</a>, Vol 598, CEUR Workshop Proceedings.
[ bib |
http |
.pdf ]
|
|
[45]
|
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.
[ bib |
http |
.pdf ]
|
|
[44]
|
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.
[ bib |
http |
.pdf ]
|
|
[43]
|
M. Baldoni, C. Baroglio, and V. Patti.
Multimodal Logics for Reasoning about Interaction.
In Il Milione (i.e. 26, 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.
[ bib |
http |
.pdf ]
|
|
[42]
|
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.
[ bib |
http ]
|
|
[41]
|
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.
[ bib |
http |
.pdf ]
|
|
[40]
|
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.
[ bib |
http |
.pdf ]
|
|
[39]
|
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.
[ bib |
.html |
.pdf ]
|
|
[38]
|
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.
[ bib |
http |
.pdf ]
|
|
[37]
|
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.
[ bib |
http |
.pdf ]
|
|
[36]
|
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.
[ bib |
http |
.pdf ]
|
|
[35]
|
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.
[ bib |
http |
.pdf ]
|
|
[34]
|
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.
[ bib |
.html |
.pdf ]
|
|
[33]
|
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.
[ bib |
http |
.pdf ]
|
|
[32]
|
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.
[ bib |
http |
.pdf ]
|
|
[31]
|
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.
[ bib |
http |
.pdf ]
|
|
[30]
|
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.
[ bib |
http |
.pdf ]
|
|
[29]
|
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.
[ bib |
http |
.pdf ]
|
|
[28]
|
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.
[ bib |
http |
.pdf ]
|
|
[27]
|
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.
[ bib |
http |
.pdf ]
|
|
[26]
|
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.
[ bib |
http ]
|
|
[25]
|
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.
[ bib |
http |
.pdf ]
|
|
[24]
|
G. Antoniou, M. Baldoni, C. Baroglio, P. 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.
[ bib |
.html |
.pdf ]
|
|
[23]
|
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.
[ bib |
http |
.pdf ]
|
|
[22]
|
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.
[ bib |
http |
.pdf ]
|
|
[21]
|
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.
[ bib |
http |
.pdf ]
|
|
[20]
|
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.
[ bib |
.html |
.pdf ]
|
|
[19]
|
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.
[ bib |
http |
.pdf ]
|
|
[18]
|
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.
[ bib |
http |
.pdf ]
|
|
[17]
|
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.
[ bib |
http |
.pdf ]
|
|
[16]
|
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.
[ bib |
http |
.pdf ]
|
|
[15]
|
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.
[ bib |
http |
.pdf ]
|
|
[14]
|
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.
[ bib |
.pdf ]
|
|
[13]
|
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.
[ bib |
http |
.pdf ]
|
|
[12]
|
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.
[ bib |
http |
.pdf ]
|
|
[11]
|
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.
[ bib |
http |
.pdf ]
|
|
[10]
|
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.
[ bib |
http |
.pdf ]
|
|
[9]
|
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.
[ bib |
.pdf ]
|
|
[8]
|
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.
[ bib |
http |
.pdf ]
|
|
[7]
|
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.
[ bib |
.html |
.ps.gz |
.pdf ]
|
|
[6]
|
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.
[ bib |
.pdf ]
|
|
[5]
|
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.
[ bib |
.pdf ]
|
|
[4]
|
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.
[ bib |
.pdf ]
|
|
[3]
|
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.
[ bib |
.ps.gz |
.pdf ]
|
|
[2]
|
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.
[ bib |
.ps.gz |
.pdf ]
|
|
[1]
|
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.
[ bib |
.ps |
.pdf ]
|