Giovanni Ciatto

According to our database, Giovanni Ciatto authored at least 56 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review.

Giovanni Ciatto, Federico Sabbatini, Andrea Agiollo, Matteo Magnini, Andrea Omicini

ACM Comput. Surv., June, 2024

2023

Knowledge injection of Datalog rules via Neural Network Structuring with KINS.

Matteo Magnini, Giovanni Ciatto, Andrea Omicini

J. Log. Comput., December, 2023

Symbolic knowledge injection meets intelligent agents: QoS metrics and experiments.

Andrea Agiollo, Andrea Rafanelli, Matteo Magnini, Giovanni Ciatto, Andrea Omicini

Auton. Agents Multi Agent Syst., October, 2023

Symbolic knowledge extraction for explainable nutritional recommenders.

Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydogan, Andrea Omicini

Comput. Methods Programs Biomed., June, 2023

Towards a unified model for symbolic knowledge extraction with hypercube-based methods.

Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Intelligenza Artificiale, 2023

A General-Purpose Protocol for Multi-agent Based Explanations.

Giovanni Ciatto, Matteo Magnini, Berk Buzcu, Reyhan Aydogan, Andrea Omicini

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2023

JaKtA: BDI Agent-Oriented Programming in Pure Kotlin.

Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini

Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Infrastructures for the Edge-Cloud Continuum on a Small Scale: A Practical Case Study.

Martina Baiardi, Giovanni Ciatto, Danilo Pianini

Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2023

2022

Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments.

Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Intelligenza Artificiale, 2022

Special Issue for the 22nd Workshop "From Objects to Agents" (WOA 2021).

Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari

Intelligenza Artificiale, 2022

50 Years of Prolog and Beyond.

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

CoRR, 2022

Hypercube-based methods for symbolic knowledge extraction: towards a unified model.

Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Proceedings of the 23rd Workshop "From Objects to Agents", 2022

A view to a KILL: knowledge injection via lambda layer.

Matteo Magnini, Giovanni Ciatto, Andrea Omicini

Proceedings of the 23rd Workshop "From Objects to Agents", 2022

KINS: Knowledge Injection via Network Structuring.

Matteo Magnini, Giovanni Ciatto, Andrea Omicini

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Logic Programming library for Machine Learning: API design and prototype.

Giovanni Ciatto, Matteo Castigliò, Roberta Calegari

Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Semantic Web-Based Interoperability for Intelligent Agents with PSyKE.

Federico Sabbatini, Giovanni Ciatto, Andrea Omicini

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2022

On the Design of PSyKI: A Platform for Symbolic Knowledge Injection into Sub-symbolic Predictors.

Matteo Magnini, Giovanni Ciatto, Andrea Omicini

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2022

Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems.

Matteo Magnini, Giovanni Ciatto, Andrea Omicini

Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022

2021

2P-Kt: A logic-based ecosystem for symbolic AI.

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

SoftwareX, 2021

Logic-based technologies for multi-agent systems: a systematic literature review.

Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini

Auton. Agents Multi Agent Syst., 2021

On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction.

Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap.

Andrea Agiollo, Giovanni Ciatto, Andrea Omicini

Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt.

Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors.

Federico Sabbatini, Giovanni Ciatto, Andrea Omicini

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Towards Explainable Visionary Agents: License to Dare and Imagine.

Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge.

Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydogan, Leon van der Torre, Andrea Omicini, Michael Schumacher

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review.

Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Shallow2Deep: Restraining Neural Networks Opacity Through Neural Architecture Search.

Andrea Agiollo, Giovanni Ciatto, Andrea Omicini

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Probabilistic logic programming in 2P-KT.

Jason Dellaluce, Roberta Calegari, Giovanni Ciatto

Proceedings of the AIxIA 2021 Discussion Papers co-located with the the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA2021), 2021

2020

Twenty years of coordination technologies: COORDINATION contribution to the state of art.

Giovanni Ciatto, Stefano Mariani, Giovanna Di Marzo Serugendo, Maxime Louvel, Andrea Omicini, Franco Zambonelli

J. Log. Algebraic Methods Program., 2020

Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts.

Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini

Inf., 2020

Logic-Based Technologies for Intelligent Systems: State of the Art and Perspectives.

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

Inf., 2020

On the integration of symbolic and sub-symbolic techniques for XAI: A survey.

Roberta Calegari, Giovanni Ciatto, Andrea Omicini

Intelligenza Artificiale, 2020

Neuro-symbolic Computation for XAI: Towards a Unified Model.

Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

2P-Kt: logic programming with objects & functions in Kotlin.

Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini

Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination.

Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Agent-Based Explanations in AI: Towards an Abstract Framework.

Giovanni Ciatto, Michael Ignaz Schumacher, Andrea Omicini, Davide Calvaresi

Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2020

An Abstract Framework for Agent-Based Explanations in AI.

Giovanni Ciatto, Davide Calvaresi, Michael Ignaz Schumacher, Andrea Omicini

Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019

Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI.

Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini

Proceedings of the 20th Workshop "From Objects to Agents", 2019

Towards Agent-Oriented Blockchains: Autonomous Smart Contracts.

Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini

Proceedings of the Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection, 2019

Comparative Analysis of Blockchain Technologies Under a Coordination Perspective.

Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini

Proceedings of the Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection, 2019

Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines.

Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini

Proceedings of the Internet and Distributed Computing Systems, 2019

TuSoW: Tuple Spaces for Edge Computing.

Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani

Proceedings of the 28th International Conference on Computer Communication and Networks, 2019

Smart Contracts are More than Objects: Pro-activeness on the Blockchain.

Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini

Proceedings of the Blockchain and Applications - International Congress, 2019

Towards XMAS: eXplainability through Multi-Agent Systems.

Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi

Proceedings of the 1st Workshop on Artificial Intelligence and Internet of Things co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2019), 2019

2018

ReSpecTX: Programming interaction made easy.

Giovanni Ciatto, Stefano Mariani, Andrea Omicini

Comput. Sci. Inf. Syst., 2018

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning.

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

Big Data Cogn. Comput., 2018

From the Blockchain to Logic Programming and Back: Research Perspectives.

Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini

Proceedings of the 19th Workshop "From Objects to Agents", 2018

Logic Programming in Space-Time: The Case of Situatedness in LPaaS.

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

Proceedings of the 19th Workshop "From Objects to Agents", 2018

Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum.

Giovanni Ciatto, Stefano Mariani, Andrea Omicini

Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

Micro-Intelligence for the IoT: SE Challenges and Practice in LPaaS.

Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini

Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.

Danilo Pianini, Giovanni Ciatto, Roberto Casadei, Stefano Mariani, Mirko Viroli, Andrea Omicini

Proceedings of the 4th EAI International Conference on Smart Objects and Technologies for Social Good, 2018

Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives.

Giovanni Ciatto, Stefano Mariani, Maxime Louvel, Andrea Omicini, Franco Zambonelli

Proceedings of the Coordination Models and Languages, 2018

2017

Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing.

Stefano Mariani, Andrea Omicini, Giovanni Ciatto

Proceedings of the 18th Workshop "From Objects to Agents", 2017

Programming the Interaction Space Effectively with \texttt ReSpecT\mathbb X.

Giovanni Ciatto, Stefano Mariani, Andrea Omicini

Proceedings of the Intelligent Distributed Computing XI - Proceedings of the 11th International Symposium on Intelligent Distributed Computing, 2017

Formal Validation of Neural Networks as Timed Automata.

Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto

Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics, 2017