Per tipo

90 pubblicazioni / Giovanni Ciatto

long bib

in rivista • in atti • capitoli • curatele • speciale • editoriali

articoli in rivista

FieldVMC: an asynchronous model and platform for self-organising morphogenesis of artificial structures (Complex & Intelligent Systems, 2026) — Angela Cortecchia, Giovanni Ciatto, Roberto Casadei, Danilo Pianini
Testing BDI-based multi-agent systems using discrete event simulation (Autonomous Agents and Multi-Agent Systems, 2026) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
Unfair Inequality in Education: A Benchmark for AI-Fairness Research (Scientific Data, 2026) — Joseph Giovanelli, Matteo Magnini, Giovanni Ciatto, Angel S. Marrero, Andrea Borghesi, Gustavo A. Marrero, Roberta Calegari
Large language models as oracles for instantiating ontologies with domain-specific knowledge (Knowledge-Based Systems, 2025) — Giovanni Ciatto, Andrea Agiollo, Matteo Magnini, Andrea Omicini
Blending BDI agents with object-oriented and functional programming with JaKtA (SN Computer Science, 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review (ACM Computing Surveys, 2024) — Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (Journal of Logic and Computation, 2023) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (Intelligenza Artificiale, 2023) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (Autonomous Agents and Multi-Agent Systems, 2023) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (Computer Methods and Programs in Biomedicine, 2023) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (Intelligenza Artificiale, 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Fifty Years of Prolog and Beyond (Theory and Practice of Logic Programming, 2022) — Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (Autonomous Agents and Multi-Agent Systems, 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
From Agents to Blockchain: Stairway to Integration (Applied Sciences, 2020) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information, 2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale, 2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Twenty years of coordination technologies: COORDINATION contribution to the state of art (Journal of Logical and Algebraic Methods in Programming, 2020) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
ReSpecTX: Programming Interaction Made Easy (Computer Science and Information Systems, 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

21 articoli in rivista • in cima • indice • in fondo

articoli in atti

Engineering Multi-agent Systems and Generative AI: Report from the Agent Toolkits 2025 Community Session (EUMAS 2025) — Andrei Ciortea, Katharine Beaumont, Gianluca Aguzzi, Matteo Baldoni, Cristina Baroglio, Amit K. Chopra, Giovanni Ciatto, Rem W. Collier, Mehdi Dastani, Angelo Ferrando, Andrea Gatti, Önder Gürcan, Timotheus Kampik, Jérémy Lemée, Somsakun Maneerat, Elisa Marengo, Viviana Mascardi, Simon Mayer, Roberto Micalizio, Guillaume Muller, Vivek Nallur, Richard Niamke, Andrei Olaru, Heloise Pajot, Chloé Petridis, I. S. W. B. Prasetya, Alessandro Ricci, Alexandru Sorici, Stefano Tedeschi, Michael Winikoff
LLMs as Agents, LLMs at the Service of Agents, or Agents at the Service of LLMs? (EUMAS 2025) — Gianluca Aguzzi, Giovanni Ciatto, Angelo Ferrando, Andrea Gatti, Viviana Mascardi
AI-fairness: the FAIRBRIDGE approach to practically bridge the gap between socio-legal and technical perspectives (HICSS-58) — Giovanni Ciatto, Mattia Matteini, Laura Sartori, Maria Rebrean, Catelijne Muller, Andrea Borghesi, Roberta Calegari
Exploiting GenAI for Plan Generation in BDI Agents (ECAI-2025) — Giovanni Ciatto, Gianluca Aguzzi, Riccardo Battistini, Martina Baiardi, Samuele Burattini, Alessandro Ricci
Neuro-Symbolic AI for Supporting Chronic Disease Diagnosis and Monitoring (TELMED 2025 @ PerCom 2025) — Matteo Magnini, Giovanni Ciatto, Ahmet Emre Kuru, Christel Sirocchi, Sara Montagna
A Domain-Specific Language for NeSy Focussing on Symbolic Knowledge Injection (ANSyA 2025 @ ECAI-2025) — Mattia Matteini, Giovanni Ciatto, Matteo Magnini, Emre Kuru, Reyhan Aydoğan, Andrea Omicini
An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation (WOA 2024) — Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
On the External Concurrency of Current BDI Frameworks for MAS (EMAS 2024 @ AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini
Concurrency Model of BDI Programming Frameworks: Why Should We Control It? (AAMAS 2024) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini
Enforcing Fairness via Constraint Injection with FaUCI (AEQUITAS 2024) — Matteo Magnini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
JaKtA: BDI Agent-Oriented Programming in Pure Kotlin (EUMAS 2023) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (2023) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
A General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023 @ AAMAS 2023) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (2023) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022 @ AAMAS 2022) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (EXTRAAMAS 2022 @ AAMAS 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Probabilistic logic programming in 2P-Kt (AIxIA 2021) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
Logic Programming library for Machine Learning: API design and prototype (CILC 2022) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
KINS: Knowledge Injection via Network Structuring (CILC 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (EXTRAAMAS 2021 @ AAMAS 2021) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (AAMAS 2021) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021 @ AAMAS 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (WOA 2021) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Towards Explainable Visionary Agents: License to Dare and Imagine (EXTRAAMAS 2021 @ AAMAS 2021) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (EXTRAAMAS 2021 @ AAMAS 2021) — Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020 @ AAMAS 2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Neuro-symbolic Computation for XAI: Towards a Unified Model (WOA 2020) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (ISOLA 2020) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019 @ PAAMS'19) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019 @ AI*IA 2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (Globe-IoT 2018 @ ACM/IEEE IoTDI) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018 @ WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Formal Validation of Neural Networks as Timed Automata (2017) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Spiking Neural Networks as Timed Automata (ALP4IoT2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Programming the Interaction Space Effectively with ReSpecTX (IDC 2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini

52 articoli in atti • in cima • indice • in fondo

capitoli di libro

Intelligent Agents from Symbolic to Neurosymbolic Systems: The Quest for Integration (The Agents Journey, 2026) — Andrea Agiollo, Roberta Calegari, Giovanni Ciatto, Matteo Magnini, Andrea Omicini, Federico Sabbatini

1 capitolo di libro • in cima • indice • in fondo

curatele

Explainable, Trustworthy, and Responsible AI and Multi-Agent Systems (EXTRAAMAS 2025 @ AAMAS 2025) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Simona Tiribelli, Kary Främling
WOA 2025 – 26th Workshop “From Objects to Agents” (WOA 2025) — Giovanni Ciatto, Enrico Blanzieri, Viviana Mascardi
Explainable, Transparent Autonomous Agents and Multi-Agent Systems (EXTRAAMAS 2024 @ AAMAS 2024) — Davide Calvaresi, Amro Najaar, Andrea Omicini, Reyhan Aydogan, Rachele Carli, Giovanni Ciatto, Joris Hulstijn, Kary Främling
Explainable and Transparent AI and Multi-Agent Systems (EXTRAAMAS 2023 @ AAMAS 2023) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
WOA 2021 – 22nd Workshop “From Objects to Agents” (WOA 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
WOA 2020 – 21st Workshop “From Objects to Agents” (WOA 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 (AI&IoT 2019 @ AI*IA 2019) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini

8 curatele • in cima • indice • in fondo

numeri speciali

Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale, 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari

2 numeri speciali • in cima • indice • in fondo

editoriali/introduzioni/prefazioni

Preface (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (Intelligenza Artificiale, 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Preface (WOA 2021 – 22nd Workshop “From Objects to Agents”, 2021) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Preface (WOA 2020 – 21st Workshop “From Objects to Agents”, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Preface – AI&IoT 2019 (AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019, 2019) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino

6 editoriali/introduzioni/prefazioni • in cima • indice • in fondo