Per Sort

76 publications / Giovanni Ciatto

long bib

in journal • in proceedings • edited • special • editorials

articles in journal

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
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 Extraction for Explainable Nutritional Recommenders (Computer Methods and Programs in Biomedicine, 2023) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, 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
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 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
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
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (SoftwareX, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (Intelligenza Artificiale, 2020) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (Information, 2020) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, 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
From Agents to Blockchain: Stairway to Integration (Applied Sciences, 2020) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (Information, 2020) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
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

16 articles in journal • top • index • bottom

papers in proceedings

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
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
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
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (AIxIA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (2023) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
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
A General-Purpose Protocol for Multi-Agent based Explanations (EXTRAAMAS 2023@AAMAS 2023) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
KINS: Knowledge Injection via Network Structuring (CILC 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (EXTRAAMAS 2022@AAMAS 2022) — Federico Sabbatini, 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
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (WOA 2022) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, 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
A view to a KILL: Knowledge Injection via Lambda Layer (WOA 2022) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (EXTRAAMAS 2021@AAMAS 2021) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (WOA 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
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, 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
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
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
2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Agent-Based Explanations in AI: Towards an Abstract Framework (EXTRAAMAS 2020@AAMAS 2020) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
An Abstract Framework for Agent-Based Explanations in AI (AAMAS 2020) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (BLOCKCHAIN'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
TuSoW: Tuple Spaces for Edge Computing (ICCCN 2019) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
Towards XMAS: eXplainability through Multi-Agent Systems (AI&IoT 2019@AIIA 2019) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (BCT4MAS 2019@PAAMS'19) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, 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
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (PAAMS'19) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, 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
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (COORDINATION 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (BCT4MAS 2018@WI 2018) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (GOODTECHS 2018) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, 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
Spiking Neural Networks as Timed Automata (ALP4IoT2017) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Formal Validation of Neural Networks as Timed Automata (2017) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Programming the Interaction Space Effectively with ReSpecTX (IDC 2017) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (WOA 2017) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto

46 papers in proceedings • top • index • bottom

edited volumes

Explainable, Transparent Autonomous Agents and Multi-Agent Systems (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@AIIA 2019) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini

6 edited volumes • top • index • bottom

special issues

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 special issues • top • index • bottom

editorials/introductions/prefaces

Preface (Journal of Logic and Computation, 2023) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (CILC 2022) — 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 (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 editorials/introductions/prefaces • top • index • bottom