CEUR Workshop Proceedings
works as
An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (2024) — Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
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
Actively Learning Ontologies from LLMs: First Results (Extended Abstract) (2024) — Matteo Magnini, Ana Ozaki, Riccardo Squarcialupi
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
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
Unlocking Insights and Trust: The Value of Explainable Clustering Algorithms for Cognitive Agents (2023) — Federico Sabbatini, Roberta Calegari
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Towards Quality-of-Service Metrics for Symbolic Knowledge Injection (2022) — Andrea Agiollo, Andrea Rafanelli, Andrea Omicini
Logic Programming library for Machine Learning: API design and prototype (2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
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
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
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
A view to a KILL: Knowledge Injection via Lambda Layer (2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Probabilistic logic programming in 2P-Kt (2022) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
A Mechanism for Reasoning over Defeasible Preferences in Arg2P (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
Burden of persuasion in argumentation: A meta-argumentation approach (2021) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
WOA 2021 – 22nd Workshop “From Objects to Agents” (2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Preface (2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Not just for humans: Explanation for agent-to-agent communication (2020) — Andrea Omicini
Arg-tuProlog: A tuProlog-based argumentation framework (2020) — Giuseppe Pisano, Roberta Calegari, Andrea Omicini, Giovanni Sartor
2P-Kt: logic programming with objects & functions in Kotlin (2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Computable Law as Argumentation-based MAS (2020) — Roberta Calegari, Andrea Omicini, Giovanni Sartor
Neuro-symbolic Computation for XAI: Towards a Unified Model (2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Argumentation and Logic Programming for Explainable and Ethical AI (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
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
Towards XMAS: eXplainability through Multi-Agent Systems (2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Preface – AI&IoT 2019 (2019) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
From the Blockchain to Logic Programming and Back: Research Perspectives (2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (2018) — Roberta Calegari, Giovanni Ciatto, 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
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
Towards Logic Programming as a Service: Experiments in tuProlog (2016) — Roberta Calegari, Enrico Denti, Stefano Mariani, Andrea Omicini
Game Engines to Model MAS: A Research Roadmap (2016) — Stefano Mariani, Andrea Omicini
Multi-paradigm Coordination for MAS: Integrating Heterogeneous Coordination Approaches in MAS Technologies (2016) — Stefano Mariani, Andrea Omicini
Coordination of Large-Scale Socio-Technical Systems: Challenges and Research Directions (2015) — Andrea Omicini, Franco Zambonelli
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
Space-aware Coordination in ReSpecT (2013) — Stefano Mariani, Andrea Omicini
Tuple-based Coordination of Stochastic Systems with Uniform Primitives (2013) — Stefano Mariani, Andrea Omicini
Parameter Engineering vs. Parameter Tuning: the Case of Biochemical Coordination in MoK (2013) — Stefano Mariani
Coordination for Situated MAS: Towards an Event-driven Architecture (2013) — Andrea Omicini, Stefano Mariani
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems (2012) — Matteo Casadei, Mirko Viroli
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
A Simulation Framework for Pervasive Services Ecosystems (2011) — Danilo Pianini, Mirko Viroli, Sara Montagna
BaSi: Multi-Agent Based Simulation for Medieval Battles (2011) — Ambra Molesini, Enrico Denti, 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
Embodied Organizations: A Unifying Perspective in Programming Agents, Organizations and Environments (2010) — Michele Piunti, Olivier Boissier, Jomi F. Hubner, Alessandro Ricci
A Glimpse of the ASPECS Process documented with the FIPA DPDF Template (2010) — Massimo Cossentino, Stephane Galland, Nicolas Gaud, Vincent Hilaire, Abderrafiaa Koukam
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
A Multiscale Agent-based Model of Morphogenesis in Biological Systems (2010) — Sara Montagna, Andrea Omicini, Alessandro Ricci
Exploring the Boundaries: When Method Fragmentation is not Convenient (2010) — Chiara Leonardi, Luca Sabatucci, Angelo Susi, Massimo Zancanaro
Towards a New Approach for MAS Situational Method Engineering: a Fragment Definition (2010) — Sara Casare, Zahia Guessoum, Jaime Brandao, Anarosa Sichman
Applying Process Document Standarization to INGENIAS (2010) — Juan Carlos González-Moreno-Moreno, Alma Gómez-Rodríguez
Describing GORMAS using the FIPA Design Process Documentation and Fragmentation Working Group template (2010) — Sergio Esparcia, Estefania Argente, Vicent Botti
The O-MaSE Process: a Standard View (2010) — Juan C. Garcia-Ojeda, Scott DeLoach
Documenting SODA: An Evaluation of the Process Documentation Template (2010) — Ambra Molesini, Andrea Omicini
Transitivity in Trust. A Discussed Property (2010) — Rino Falcone, Cristiano Castelfranchi
Towards a Logic Language and Framework for Web Programming (2009) — Giulio Piancastelli, Andrea Omicini, Enrico Denti
Designing a Development Environment for Logic and Multi-Paradigm Programming (2009) — Giulio Piancastelli, Enrico Denti
Knowledge Construction in E-learning Context: CSCL, ODL, ICT and SNA in Education (2008) — Maria Cristina Matteucci, Andrea Omicini, Elena Nardini, Pietro Gaffuri
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
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
Minority Game: A Logic-Based Approach in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
A Case of Self-Organising Environment for MAS: the Collective Sort Problem (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
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
OWL-S for Describing Artifacts (2006) — Rossella Rubino, Ambra Molesini, Enrico Denti
WOA 2006 – Dagli Oggetti agli Agenti (2006) — Flavio De Paoli, Antonella Di Stefano, Andrea Omicini, Corrado Santoro
An agent oriented tool for method engineering (2006) — Massimo Cossentino, Luca Sabatucci, Valeria Seidita, Salvatore Gaglio
4th European Workshop on Multi-Agent Systems (EUMAS 2006) (2006) — Andrea Omicini, Barbara Dunin-Kȩplicz, Julian A. Padget
Collective Sorting Tuple Spaces (2006) — Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulation of Minority Game in TuCSoN (2006) — Enrico Oliva, Mirko Viroli, Andrea Omicini
Distributed Instance Retrieval in Heterogeneous Ontologies (2005) — Luciano Serafini, Andrei Tamilin