Per Year

66 publications / 2017–2023 / Giovanni Ciatto

long bib

2023 • 2022 • 2021 • 2020 • 2019 • 2018 • 2017

2023

Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (article in journal) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
A General-Purpose Protocol for Multi-Agent based Explanations (paper in proceedings) — Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Preface (editorial/introduction/preface) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (article in journal) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (article in journal) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Explainable and Transparent AI and Multi-Agent Systems (edited volume) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (article in journal) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini

8 publications / 2023 • top • index • bottom

2022

A view to a KILL: Knowledge Injection via Lambda Layer (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
CILC 2022 – Italian Conference on Computational Logic (edited volume) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments (article in journal) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
KINS: Knowledge Injection via Network Structuring (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Fifty Years of Prolog and Beyond (article in journal) — 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
Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) (special issue) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
Semantic Web-based Interoperability for Intelligent Agents with PSyKE (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors (paper in proceedings) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Probabilistic logic programming in 2P-Kt (paper in proceedings) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
Logic Programming library for Machine Learning: API design and prototype (paper in proceedings) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari

13 publications / 2022 • top • index • bottom

2021

Preface (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (paper in proceedings) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (article in journal) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (paper in proceedings) — Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
WOA 2021 – 22nd Workshop “From Objects to Agents” (edited volume) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Towards Explainable Visionary Agents: License to Dare and Imagine (paper in proceedings) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (paper in proceedings) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (paper in proceedings) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (article in journal) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini

12 publications / 2021 • top • index • bottom

2020

Twenty years of coordination technologies: COORDINATION contribution to the state of art (article in journal) — Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli
From Agents to Blockchain: Stairway to Integration (article in journal) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
Neuro-symbolic Computation for XAI: Towards a Unified Model (paper in proceedings) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
An Abstract Framework for Agent-Based Explanations in AI (paper in proceedings) — Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
WOA 2020 – 21st Workshop “From Objects to Agents” (edited volume) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Smart Contracts are More than Objects: Pro-activeness on the Blockchain (paper in proceedings) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Preface (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts (article in journal) — Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives (article in journal) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Agent-Based Explanations in AI: Towards an Abstract Framework (paper in proceedings) — Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (paper in proceedings) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey (article in journal) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini

13 publications / 2020 • top • index • bottom

2019

Towards XMAS: eXplainability through Multi-Agent Systems (paper in proceedings) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Preface – AI&IoT 2019 (editorial/introduction/preface) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 (edited volume) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini
TuSoW: Tuple Spaces for Edge Computing (paper in proceedings) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
Towards Agent-oriented Blockchains: Autonomous Smart Contracts (paper in proceedings) — Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Comparative Analysis of Blockchain Technologies under a Coordination Perspective (paper in proceedings) — Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

8 publications / 2019 • top • index • bottom

2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain (paper in proceedings) — Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
ReSpecTX: Programming Interaction Made Easy (article in journal) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (article in journal) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (paper in proceedings) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini

8 publications / 2018 • top • index • bottom

2017

Programming the Interaction Space Effectively with ReSpecTX (paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (paper in proceedings) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Spiking Neural Networks as Timed Automata (paper in proceedings) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
Formal Validation of Neural Networks as Timed Automata (paper in proceedings) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto

4 publications / 2017 • top • index • bottom

0000-0002-1841-8996

Links