Formal Validation of Neural Networks as Timed Automata. - Elisabetta De Maria; Cinzia Di Giusto; Giovanni Ciatto (CSBio, 2017)

Programming the Interaction Space Effectively with texttt ReSpecT mathbb X. - Giovanni Ciatto; Stefano Mariani 001; Andrea Omicini (IDC, 2017)

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

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives. - Giovanni Ciatto; Stefano Mariani 001; Maxime Louvel; Andrea Omicini; Franco Zambonelli (COORDINATION, 2018)

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain. - Danilo Pianini; Giovanni Ciatto; Roberto Casadei; Stefano Mariani 001; Mirko Viroli; Andrea Omicini (GOODTECHS, 2018)

Micro-Intelligence for the IoT: SE Challenges and Practice in LPaaS. - Roberta Calegari; Giovanni Ciatto; Stefano Mariani 001; Enrico Denti; Andrea Omicini (IC2E, 2018)

Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum. - Giovanni Ciatto; Stefano Mariani 001; Andrea Omicini (WI, 2018)

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

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

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning. - Roberta Calegari; Giovanni Ciatto; Stefano Mariani 001; Enrico Denti; Andrea Omicini (Big Data Cogn. Comput., 2018)

ReSpecTX: Programming interaction made easy. - Giovanni Ciatto; Stefano Mariani 001; Andrea Omicini (Comput. Sci. Inf. Syst., 2018)

Towards XMAS: eXplainability through Multi-Agent Systems. - Giovanni Ciatto; Roberta Calegari; Andrea Omicini; Davide Calvaresi (AI&IoT@AI*IA, 2019)

Smart Contracts are More than Objects: Pro-activeness on the Blockchain. - Giovanni Ciatto; Alfredo Maffi; Stefano Mariani 001; Andrea Omicini (BLOCKCHAIN, 2019)

TuSoW: Tuple Spaces for Edge Computing. - Giovanni Ciatto; Lorenzo Rizzato; Andrea Omicini; Stefano Mariani 001 (ICCCN, 2019)

Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines. - Roberta Calegari; Giovanni Ciatto; Enrico Denti; Andrea Omicini (IDCS, 2019)

Comparative Analysis of Blockchain Technologies Under a Coordination Perspective. - Giovanni Ciatto; Michael Bosello; Stefano Mariani 001; Andrea Omicini (PAAMS (Workshops), 2019)

Towards Agent-Oriented Blockchains: Autonomous Smart Contracts. - Giovanni Ciatto; Alfredo Maffi; Stefano Mariani 001; Andrea Omicini (PAAMS, 2019)

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

An Abstract Framework for Agent-Based Explanations in AI. - Giovanni Ciatto; Davide Calvaresi; Michael Ignaz Schumacher; Andrea Omicini (AAMAS, 2020)

Agent-Based Explanations in AI: Towards an Abstract Framework. - Giovanni Ciatto; Michael Ignaz Schumacher; Andrea Omicini; Davide Calvaresi (EXTRAAMAS@AAMAS, 2020)

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination. - Ashley Caselli; Giovanni Ciatto; Giovanna Di Marzo Serugendo; Andrea Omicini (ISoLA (2), 2020)

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

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

On the integration of symbolic and sub-symbolic techniques for XAI: A survey. - Roberta Calegari; Giovanni Ciatto; Andrea Omicini (Intelligenza Artificiale, 2020)

Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives. - Roberta Calegari; Giovanni Ciatto; Enrico Denti; Andrea Omicini (Inf., 2020)

Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts. - Giovanni Ciatto; Stefano Mariani 001; Alfredo Maffi; Andrea Omicini (Inf., 2020)

Twenty years of coordination technologies: COORDINATION contribution to the state of art. - Giovanni Ciatto; Stefano Mariani 001; Giovanna Di Marzo Serugendo; Maxime Louvel; Andrea Omicini; Franco Zambonelli (J. Log. Algebraic Methods Program., 2020)

Probabilistic logic programming in 2P-KT. - Jason Dellaluce; Roberta Calegari; Giovanni Ciatto (DP@AI*IA, 2021)

Shallow2Deep: Restraining Neural Networks Opacity Through Neural Architecture Search. - Andrea Agiollo; Giovanni Ciatto; Andrea Omicini (EXTRAAMAS@AAMAS, 2021)

Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review. - Roberta Calegari; Giovanni Ciatto; Viviana Mascardi; Andrea Omicini (AAMAS, 2021)

Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge. - Davide Calvaresi; Giovanni Ciatto; Amro Najjar; Reyhan Aydogan; Leon van der Torre; Andrea Omicini; Michael Schumacher 001 (EXTRAAMAS@AAMAS, 2021)

Towards Explainable Visionary Agents: License to Dare and Imagine. - Giovanni Ciatto; Amro Najjar; Jean-Paul Calbimonte; Davide Calvaresi (EXTRAAMAS@AAMAS, 2021)

GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors. - Federico Sabbatini; Giovanni Ciatto; Andrea Omicini (EXTRAAMAS@AAMAS, 2021)

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt. - Giovanni Ciatto; Roberta Calegari; Andrea Omicini (JELIA, 2021)

Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap. - Andrea Agiollo; Giovanni Ciatto; Andrea Omicini (WOA, 2021)

On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction. - Federico Sabbatini; Giovanni Ciatto; Roberta Calegari; Andrea Omicini (WOA, 2021)

Logic-based technologies for multi-agent systems: a systematic literature review. - Roberta Calegari; Giovanni Ciatto; Viviana Mascardi; Andrea Omicini (Auton. Agents Multi Agent Syst., 2021)

2P-Kt: A logic-based ecosystem for symbolic AI. - Giovanni Ciatto; Roberta Calegari; Andrea Omicini (SoftwareX, 2021)

Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems. - Matteo Magnini; Giovanni Ciatto; Andrea Omicini (DP@AI*IA, 2022)

On the Design of PSyKI: A Platform for Symbolic Knowledge Injection into Sub-symbolic Predictors. - Matteo Magnini; Giovanni Ciatto; Andrea Omicini (EXTRAAMAS@AAMAS, 2022)

Semantic Web-Based Interoperability for Intelligent Agents with PSyKE. - Federico Sabbatini; Giovanni Ciatto; Andrea Omicini (EXTRAAMAS@AAMAS, 2022)

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

KINS: Knowledge Injection via Network Structuring. - Matteo Magnini; Giovanni Ciatto; Andrea Omicini (CILC, 2022)

A view to a KILL: knowledge injection via lambda layer. - Matteo Magnini; Giovanni Ciatto; Andrea Omicini (WOA, 2022)

Hypercube-based methods for symbolic knowledge extraction: towards a unified model. - Federico Sabbatini; Giovanni Ciatto; Roberta Calegari; Andrea Omicini (WOA, 2022)

50 Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu; Giovanni Ciatto (CoRR, 2022)

Special Issue for the 22nd Workshop "From Objects to Agents" (WOA 2021). - Roberta Calegari; Giovanni Ciatto; Andrea Omicini; Giuseppe Vizzari (Intelligenza Artificiale, 2022)

Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments. - Federico Sabbatini; Giovanni Ciatto; Roberta Calegari; Andrea Omicini (Intelligenza Artificiale, 2022)

Infrastructures for the Edge-Cloud Continuum on a Small Scale: A Practical Case Study. - Martina Baiardi; Giovanni Ciatto; Danilo Pianini (ACSOS-C, 2023)

JaKtA: BDI Agent-Oriented Programming in Pure Kotlin. - Martina Baiardi; Samuele Burattini; Giovanni Ciatto; Danilo Pianini (EUMAS, 2023)

A General-Purpose Protocol for Multi-agent Based Explanations. - Giovanni Ciatto; Matteo Magnini; Berk Buzcu; Reyhan Aydogan; Andrea Omicini (EXTRAAMAS, 2023)

Towards a unified model for symbolic knowledge extraction with hypercube-based methods. - Federico Sabbatini; Giovanni Ciatto; Roberta Calegari; Andrea Omicini (Intelligenza Artificiale, 2023)

Symbolic knowledge extraction for explainable nutritional recommenders. - Matteo Magnini; Giovanni Ciatto; Furkan Cantürk; Reyhan Aydogan; Andrea Omicini (Comput. Methods Programs Biomed., 2023)

Symbolic knowledge injection meets intelligent agents: QoS metrics and experiments. - Andrea Agiollo; Andrea Rafanelli; Matteo Magnini; Giovanni Ciatto; Andrea Omicini (Auton. Agents Multi Agent Syst., 2023)

Knowledge injection of Datalog rules via Neural Network Structuring with KINS. - Matteo Magnini; Giovanni Ciatto; Andrea Omicini (J. Log. Comput., 2023)

An Aggregate Vascular Morphogenesis Controller for Engineered Self-Organising Spatial Structures. - Angela Cortecchia; Danilo Pianini; Giovanni Ciatto; Roberto Casadei (ACSOS, 2024)

Multi-Paradigm Integration for the BDI Resurgence. - Danilo Pianini; Martina Baiardi; Samuele Burattini; Giovanni Ciatto (ACSOS-C, 2024)

Enforcing Fairness via Constraint Injection with FaUCI. - Matteo Magnini; Giovanni Ciatto; Roberta Calegari; Andrea Omicini (AEQUITAS@ECAI, 2024)

Concurrency Model of BDI Programming Frameworks: Why Should We Control It? - Martina Baiardi; Samuele Burattini; Giovanni Ciatto; Danilo Pianini; Andrea Omicini; Alessandro Ricci (AAMAS, 2024)

On the External Concurrency of Current BDI Frameworks for MAS. - Martina Baiardi; Samuele Burattini; Giovanni Ciatto; Danilo Pianini; Alessandro Ricci; Andrea Omicini (EMAS, 2024)

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

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review. - Giovanni Ciatto; Federico Sabbatini; Andrea Agiollo; Matteo Magnini; Andrea Omicini (ACM Comput. Surv., 2024)

Blending BDI Agents with Object-Oriented and Functional Programming with JaKtA. - Martina Baiardi; Samuele Burattini; Giovanni Ciatto; Danilo Pianini (SN Comput. Sci., 2024)

AI-fairness: The FairBridge Approach to Practically Bridge the Gap Between Socio-legal and Technical Perspectives. - Andrea Borghesi; Giovanni Ciatto; Mattia Matteini; Roberta Calegari; Laura Sartori; Maria Rebrean; Catelijne Muller (HICSS, 2025)

Neuro-Symbolic AI for Supporting Chronic Disease Diagnosis and Monitoring. - Matteo Magnini; Giovanni Ciatto; Ahmet Emre Kuru; Christel Sirocchi; Sara Montagna (PerCom Workshops, 2025)

Large language models as oracles for instantiating ontologies with domain-specific knowledge. - Giovanni Ciatto; Andrea Agiollo; Matteo Magnini; Andrea Omicini (Knowl. Based Syst., 2025)