CEUR Workshop Proceedings

Unless stated explicitely and in conformance to the legal Disclaimer of Sun SITE Central Europe (CEUR) and the legal Disclaimer of Technical University of Aachen (RWTH), the copyright for the workshop proceedings as a compilation, i.e. CEUR-WS.org/Vol-1, CEUR-WS.org/Vol-2 etc., is with the respective proceedings editors. The copyright for the individual items (subsuming any type of computer-represented files containing articles, software demos, videos, etc.) within a proceedings volume is owned by default by their respective authors. Copying of items, in particular papers, and proceedings volumes is permitted only for private and academic purposes. The permission for academic use implies an attribution obligation, i.e., you must properly cite the items that you use in your own published work. Modification of items is not permitted unless a suitable license is granted by its copyright owners. Copying or use for commercial purposes is forbidden unless an explicit permission is acquired from the copyright owners. Re-publication of a CEUR Workshop Proceedings volume or of an individual item inside a proceedings volume requires permission by the copyright owners, i.e. either the respective proceedings editors, or the authors of the respective item in that volume, or both. Mirroring of the CEUR-WS.org web site, or parts of it, is prohibited. The label 'CEUR Workshop Proceedings' and the CEUR-WS logo are owned by the publisher of this site. 

Important changes are reported in our timeline. CEUR-WS.org provides its services free of charge to the academic community. We are grateful for small donations in case you want to express your appreciation of our service. We are also grateful for donations of scripts that ease our tasks, for example scripts that excerpt the bibliographic data out of index files.

series containing

 NL2UNIFOL: From Natural Language Sentences to Uniform First-Order Logic Formulae (2026) — Matteo Magnini, Davide Liga, Luca Pasetto

 From Conflict to Concealment: The Role of Generative AI in Creating a Digital Utopia (2025) — Sara Hejazi, Daniele Franch, Pierluigi Roberti, Enrico Blanzieri

 WOA 2025 – 26th Workshop “From Objects to Agents” (2025) — Giovanni Ciatto, Enrico Blanzieri, Viviana Mascardi

 A Domain-Specific Language for NeSy Focussing on Symbolic Knowledge Injection (2025) — Mattia Matteini, Giovanni Ciatto, Matteo Magnini, Emre Kuru, Reyhan Aydoğan, Andrea Omicini

 Actively Learning Ontologies from LLMs: First Results (Extended Abstract) (2024) — Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi

 Enforcing Fairness via Constraint Injection with FaUCI (2024) — Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

 AI-fairness and equality of opportunity: a case study on educational achievement (2024) — Ángel S. Marrero, Gustavo A. Marrero, Carlos Bethencourt, Liam James, Roberta Calegari

 Hermes: a Wireless Communication Interface for Edge Computing (2024) — Davide Carnemolla, Fabrizio Messina, Corrado Santoro, Federico Fausto Santoro

 Integrating Procedural Ontologies in VEsNA: Study, Requirements, and Preliminary Design (2024) —

 Rule enforcement in LLMs: a parameter efficient fine-tuning approach with self-generated training dataset (2024) — Daniele Franch, Pierluigi Roberti, Enrico Blanzieri

 An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (2024) — Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea Omicini

 Geometric and Spatial Reasoning in BDI Agents: A Survey (2024) — Angelo Ferrando, Andrea Gatti, Viviana Mascardi

 AIxIA 2022 Discussion Papers (2023) — Agostino Dovier, Angelo Montanari, Andrea Orlandini

 ExACT Explainable Clustering: Unravelling the Intricacies of Cluster Formation (2023) — Federico Sabbatini, Roberta Calegari

 Position Paper: On the Role of Abductive Reasoning in Semantic Image Segmentation (2023) — Andrea Rafanelli, Stefania Costantini, Andrea Omicini

 Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini

 Peer-Reviewed Federated Learning (2023) — Mattia Passeri, Andrea Agiollo, Andrea Omicini

 FAiRDAS: Fairness-Aware Ranking as Dynamic Abstract System (2023) — Eleonora Misino, Roberta Calegari, Michele Lombardi, Michela Milano

 Unveiling Opaque Predictors via Explainable Clustering: The CReEPy Algorithm (2023) — Federico Sabbatini, Roberta Calegari

 Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (2023) — Federico Sabbatini, Roberta Calegari

 A view to a KILL: Knowledge Injection via Lambda Layer (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini

 CILC 2022 – Italian Conference on Computational Logic (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini

 KINS: Knowledge Injection via Network Structuring (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini

 Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini

 Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini

 Preface (2022) — Kristijonas Čyras, Timotheus Kampik, Oana Cocarascu, Antonio Rago

 ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops (2022) — Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, Jessica Zangari

 Taking stock of available technologies for compliance checking on first-order knowledge (2022) — Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis

 Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

 Burden of persuasion in argumentation: A meta-argumentation approach (2022) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

 Probabilistic logic programming in 2P-Kt (2022) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto

 Logic Programming library for Machine Learning: API design and prototype (2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari

 WOA 2021 – 22nd Workshop “From Objects to Agents” (2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor

 A Mechanism for Reasoning over Defeasible Preferences in Arg2P (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

 AIxIA 2020 Discussion Papers Workshop (2020) — Giuseppe Vizzari, Matteo Palmonari, Andrea Orlandini

 Arg-tuProlog: A tuProlog-based argumentation framework (2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor

 Neuro-symbolic Computation for XAI: Towards a Unified Model (2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

 Computable Law as Argumentation-based MAS (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor

 WOA 2020 – 21st Workshop “From Objects to Agents” (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor

 Not just for humans: Explanation for agent-to-agent communication (2020) — Andrea Omicini

 2P-Kt: logic programming with objects & functions in Kotlin (2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

 Preface (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor

 Argumentation and Logic Programming for Explainable and Ethical AI (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor

 Towards XMAS: eXplainability through Multi-Agent Systems (2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi

 Preface – AI&IoT 2019 (2019) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino

 Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini

 Case studies for a new IoT programming paradigm: Fluidware (2019) — Stefano Mariani, Roberto Casadei, Fabrizio Fornari, Giancarlo Fortino, Danilo Pianini, Barbara Re, Wilma Russo, Claudio Savaglio, Mirko Viroli, Franco Zambonelli

 Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

 From the Blockchain to Logic Programming and Back: Research Perspectives (2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini

 Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto

 Modeling Opportunistic IoT Services in Open IoT Ecosystems (2017) — Giancarlo Fortino, Wilma Russo, Claudio Savaglio, Mirko Viroli, MengChu Zhou

 Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (2016) — Stefano Mariani, Andrea Omicini

 Towards Logic Programming as a Service: Experiments in tuProlog (2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini

 Towards the Adoption of Agent-Based Modelling and Simulation in Mobile Health Systems for the Self-Management of Chronic Diseases (2016) — Sara Montagna, Andrea Omicini, Francesco Degli Angeli, Michele Donati

 Labelled Variables in Logic Programming: Foundations (2016) — Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

 Game Engines to Model MAS: A Research Roadmap (2016) — Stefano Mariani, Andrea Omicini

 Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (2015) — Andrea Omicini, Franco Zambonelli

 AI*IA 2015 Doctoral Consortium (2015) — Elena Bellodi, Alessio Bonfietti

 Labelled Variables in Logic Programming: A First Prototype in tuProlog (2015) — Roberta Calegari, Enrico Denti, Andrea Omicini

 TuCSoN Coordination for MAS Situatedness: Towards a Methodology (2014) — Stefano Mariani, Andrea Omicini

 Coordination for Situated MAS: Towards an Event-driven Architecture (2013) — Andrea Omicini, Stefano Mariani

 Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (2013) — Stefano Mariani

 Space-aware Coordination in ReSpecT (2013) — Stefano Mariani, Andrea Omicini

 Tuple-based Coordination of Stochastic Systems with Uniform Primitives (2013) — Stefano Mariani, Andrea Omicini

 A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (2012) — Matteo Casadei, Mirko Viroli

 Programming Distributed Multi-Agent Systems in simpAL (2012) — Andrea Santi, Alessandro Ricci

 Molecules of Knowledge: A Novel Perspective over Knowledge Management (2012) — Stefano Mariani, Andrea Omicini

 Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems (2012) — Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez

 Coordinating Spatially-Situated Pervasive Service Ecosystems (2011) — Mirko Viroli, Elena Nardini, Gabriella Castelli, Marco Mamei, Franco Zambonelli

 BaSi: Multi-Agent Based Simulation for Medieval Battles (2011) — Ambra Molesini, Enrico Denti, Andrea Omicini

 A Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Mirko Viroli, Sara Montagna

 Documenting SODA: An Evaluation of the Process Documentation Template (2010) — Ambra Molesini, Andrea Omicini

 Programming Open Systems with Agents, Environments and Organizations (2010) — Michele Piunti, Alessandro Ricci, Olivier Boissier, Jomi F. Hubner

 Exploring the Boundaries: When Method Fragmentation is not Convenient (2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro

 Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (2010) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci

 Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (2010) — Sergio Esparcia, Estefania Argente, Vicent Botti

 Process Documentation Standardization: An Initial Evaluation (2010) — Massimo Cossentino, Alma Gómez-Rodríguez, Juan Carlos González-Moreno, Ambra Molesini, Andrea Omicini

 A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN (2010) — Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini

 WOA 2010 – Dagli oggetti agli agenti. Modelli e tecnologie per sistemi complessi: context-dependent, knowledge-intensive, nature-inspired e self-* (2010) — Andrea Omicini, Mirko Viroli

 Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (2010) — Sara Casare, Zahia Guessoum, Anarosa A. F. Brandao, Jaime Sichman

 Applying Process Document Standarization to INGENIAS (2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez

 Transitivity in Trust. A Discussed Property (2010) — Rino Falcone, Cristiano Castelfranchi

 A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam

 A Multiscale Agent-based Model of Morphogenesis in Biological Systems (2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci

 The O-MaSE Process: a Standard View (2010) — Juan C. Garcia-Ojeda, Scott DeLoach

 Designing a Development Environment for Logic and Multi-Paradigm Programming (2009) — Giulio Piancastelli, Enrico Denti

 Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti

 Tropos at the Age of Eight: On-going Research at FBK, UniTN and UT (2008) — Paolo Giorgini, John Mylopoulos, Loris Penserini, Anna Perini, Angelo Susi

 Model-driven Generation of Graphical Maps for e-Contents (2008) — Antonio Natali, Enrico Oliva, Cristina Bonanni

 Agent-Based Collaboration Systems: A Case Study (2008) — Elena Nardini, Andrea Omicini

 Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education (2008) — Maria Cristina Matteucci, Andrea Omicini, Elena Nardini, Pietro Gaffuri

 A comparison of deontic matrices, maps and activity diagrams for the construction of situational methods (2007) — Valeria Seidita, Jolita Ralyté, Brian Henderson-Sellers, Massimo Cossentino, Nicolas Arni-Bloch

 Architectural Decision Models as Micro-Methodology for Service-Oriented Analysis and Design (2007) — Olaf Zimmermann, Jana Koehler, Leymann Frank

 simpA-WS: An Agent-Oriented Computing Technology for WS-based SOA Applications (2006) — Alessandro Ricci, Claudio Buda, Nicola Zaghini, Antonio Natali, Mirko Viroli, Andrea Omicini

 An agent oriented tool for method engineering (2006) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio

 WOA 2006 – Dagli Oggetti agli Agenti (2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro

 OWL-S for Describing Artifacts (2006) — Rossella Rubino, Ambra Molesini, Enrico Denti

 Simulation of Minority Game in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini

 Collective Sorting Tuple Spaces (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli

 4th European Workshop on Multi-Agent Systems (EUMAS 2006) (2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget

 A Case of Self-Organising Environment for MAS: the Collective Sort Problem (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli

 Minority Game: A Logic-Based Approach in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini

 Distributed Instance Retrieval in Heterogeneous Ontologies (2005) — Luciano Serafini, Andrei Tamilin