Giovanni Ciatto

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 61

Top Topics

Literature Review

Top Venues

EXTRAAMAS@AAMAS

Intelligenza Artificiale

Publications

Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini
Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review. ACM Comput. Surv. 56 (6) (2024)
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Alessandro Ricci, Andrea Omicini
On the external concurrency of current BDI frameworks for MAS. CoRR (2024)
Andrea Rafanelli, Matteo Magnini, Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation. WOA (2024)
Giovanni Ciatto, Andrea Agiollo, Matteo Magnini, Andrea Omicini
Large language models as oracles for instantiating ontologies with domain-specific knowledge. CoRR (2024)
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Andrea Omicini, Alessandro Ricci
Concurrency Model of BDI Programming Frameworks: Why Should We Control It? CoRR (2024)
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini, Andrea Omicini, Alessandro Ricci
Concurrency Model of BDI Programming Frameworks: Why Should We Control It? AAMAS (2024)
Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Symbolic knowledge injection meets intelligent agents: QoS metrics and experiments. Auton. Agents Multi Agent Syst. 37 (2) (2023)
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Knowledge injection of Datalog rules via Neural Network Structuring with KINS. J. Log. Comput. 33 (8) (2023)
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Towards a unified model for symbolic knowledge extraction with hypercube-based methods. Intelligenza Artificiale 17 (1) (2023)
Giovanni Ciatto, Matteo Magnini, Berk Buzcu, Reyhan Aydogan, Andrea Omicini
A General-Purpose Protocol for Multi-agent Based Explanations. EXTRAAMAS (2023)
Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
JaKtA: BDI Agent-Oriented Programming in Pure Kotlin. EUMAS (2023)
Martina Baiardi, Giovanni Ciatto, Danilo Pianini
Infrastructures for the Edge-Cloud Continuum on a Small Scale: A Practical Case Study. ACSOS-C (2023)
Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydogan, Andrea Omicini
Symbolic knowledge extraction for explainable nutritional recommenders. Comput. Methods Programs Biomed. 235 (2023)
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
On the Design of PSyKI: A Platform for Symbolic Knowledge Injection into Sub-symbolic Predictors. EXTRAAMAS@AAMAS (2022)
Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Semantic Web-Based Interoperability for Intelligent Agents with PSyKE. EXTRAAMAS@AAMAS (2022)
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems. DP@AI*IA (2022)
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
KINS: Knowledge Injection via Network Structuring. CILC (2022)
Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari
Special Issue for the 22nd Workshop "From Objects to Agents" (WOA 2021). Intelligenza Artificiale 16 (1) (2022)
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
50 Years of Prolog and Beyond. CoRR (2022)
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Hypercube-based methods for symbolic knowledge extraction: towards a unified model. WOA (2022)
Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
Logic Programming library for Machine Learning: API design and prototype. CILC (2022)
Matteo Magnini, Giovanni Ciatto, Andrea Omicini
A view to a KILL: knowledge injection via lambda layer. WOA (2022)
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments. Intelligenza Artificiale 16 (1) (2022)
Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors. EXTRAAMAS@AAMAS (2021)
Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Logic-based technologies for multi-agent systems: a systematic literature review. Auton. Agents Multi Agent Syst. 35 (1) (2021)
Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap. WOA (2021)
Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
Probabilistic logic programming in 2P-KT. DP@AI*IA (2021)
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction. WOA (2021)
Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
Towards Explainable Visionary Agents: License to Dare and Imagine. EXTRAAMAS@AAMAS (2021)
Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: A logic-based ecosystem for symbolic AI. SoftwareX 16 (2021)
Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review. AAMAS (2021)
Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydogan, Leon van der Torre, Andrea Omicini, Michael Schumacher
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge. EXTRAAMAS@AAMAS (2021)
Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt. JELIA (2021)
Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Shallow2Deep: Restraining Neural Networks Opacity Through Neural Architecture Search. EXTRAAMAS@AAMAS (2021)
Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Neuro-symbolic Computation for XAI: Towards a Unified Model. WOA (2020)
Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination. ISoLA (2) (2020)
Roberta Calegari, Giovanni Ciatto, Andrea Omicini
On the integration of symbolic and sub-symbolic techniques for XAI: A survey. Intelligenza Artificiale 14 (1) (2020)
Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin. WOA (2020)
Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts. Inf. 11 (1) (2020)
Giovanni Ciatto, Michael Ignaz Schumacher, Andrea Omicini, Davide Calvaresi
Agent-Based Explanations in AI: Towards an Abstract Framework. EXTRAAMAS@AAMAS (2020)
Giovanni Ciatto, Stefano Mariani, Giovanna Di Marzo Serugendo, Maxime Louvel, Andrea Omicini, Franco Zambonelli
Twenty years of coordination technologies: COORDINATION contribution to the state of art. J. Log. Algebraic Methods Program. 113 (2020)
Giovanni Ciatto, Davide Calvaresi, Michael Ignaz Schumacher, Andrea Omicini
An Abstract Framework for Agent-Based Explanations in AI. AAMAS (2020)
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives. Inf. 11 (3) (2020)
Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini
Comparative Analysis of Blockchain Technologies Under a Coordination Perspective. PAAMS (Workshops) (2019)
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines. IDCS (2019)
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Smart Contracts are More than Objects: Pro-activeness on the Blockchain. BLOCKCHAIN (2019)
Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi
Towards XMAS: eXplainability through Multi-Agent Systems. AI&IoT@AI*IA (2019)
Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
TuSoW: Tuple Spaces for Edge Computing. ICCCN (2019)
Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI. WOA (2019)
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini
Towards Agent-Oriented Blockchains: Autonomous Smart Contracts. PAAMS (2019)
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
Micro-Intelligence for the IoT: SE Challenges and Practice in LPaaS. IC2E (2018)
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
ReSpecTX: Programming interaction made easy. Comput. Sci. Inf. Syst. 15 (3) (2018)
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum. WI (2018)
Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives. WOA (2018)
Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini
Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain. GOODTECHS (2018)
Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, Franco Zambonelli
Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives. COORDINATION (2018)
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning. Big Data Cogn. Comput. 2 (3) (2018)
Stefano Mariani, Andrea Omicini, Giovanni Ciatto
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing. WOA (2017)
Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto
Formal Validation of Neural Networks as Timed Automata. CSBio (2017)
Giovanni Ciatto, Stefano Mariani, Andrea Omicini
Programming the Interaction Space Effectively with \texttt ReSpecT\mathbb X. IDC (2017)