Per Year

55 publications with Scopus ID / 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
Knowledge injection of Datalog rules via Neural Network Structuring with KINS (article in journal) — Matteo Magnini, Giovanni Ciatto, 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) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Symbolic Knowledge Injection meets Intelligent Agents: QoS metrics and experiments (article in journal) — Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Symbolic Knowledge Extraction for Explainable Nutritional Recommenders (article in journal) — Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydoǧan, Andrea Omicini

7 publications in 2023 with Scopus ID • top • index • bottom

2022

A view to a KILL: Knowledge Injection via Lambda Layer (paper in proceedings) — Matteo Magnini, 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
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

9 publications in 2022 with Scopus ID • 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
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
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

10 publications in 2021 with Scopus ID • 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
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

12 publications in 2020 with Scopus ID • 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
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

7 publications in 2019 with Scopus ID • 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 in 2018 with Scopus ID • 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

2 publications in 2017 with Scopus ID • top • index • bottom