Giovanni Ciatto

Orcid: 0000-0002-1841-8996

According to our database1, Giovanni Ciatto authored at least 61 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Symbolic Knowledge Extraction and Injection with Sub-symbolic Predictors: A Systematic Literature Review.
ACM Comput. Surv., June, 2024

Large language models as oracles for instantiating ontologies with domain-specific knowledge.
CoRR, 2024

An Empirical Study on the Robustness of Knowledge Injection Techniques Against Data Degradation.
Proceedings of the 25th Workshop "From Objects to Agents", 2024

On the External Concurrency of Current BDI Frameworks for MAS.
Proceedings of the Engineering Multi-Agent Systems - 12th International Workshop, 2024

Concurrency Model of BDI Programming Frameworks: Why Should We Control It?
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

Enforcing Fairness via Constraint Injection with FaUCI.
Proceedings of the 2nd Workshop on Fairness and Bias in AI co-located with 27th European Conference on Artificial Intelligence (ECAI 2024), 2024

2023
Knowledge injection of Datalog rules via Neural Network Structuring with KINS.
J. Log. Comput., December, 2023

Symbolic knowledge injection meets intelligent agents: QoS metrics and experiments.
Auton. Agents Multi Agent Syst., October, 2023

Symbolic knowledge extraction for explainable nutritional recommenders.
Comput. Methods Programs Biomed., June, 2023

Towards a unified model for symbolic knowledge extraction with hypercube-based methods.
Intelligenza Artificiale, 2023

A General-Purpose Protocol for Multi-agent Based Explanations.
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2023

JaKtA: BDI Agent-Oriented Programming in Pure Kotlin.
Proceedings of the Multi-Agent Systems - 20th European Conference, 2023

Infrastructures for the Edge-Cloud Continuum on a Small Scale: A Practical Case Study.
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.
Intelligenza Artificiale, 2022

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

50 Years of Prolog and Beyond.
CoRR, 2022

Hypercube-based methods for symbolic knowledge extraction: towards a unified model.
Proceedings of the 23rd Workshop "From Objects to Agents", 2022

A view to a KILL: knowledge injection via lambda layer.
Proceedings of the 23rd Workshop "From Objects to Agents", 2022

KINS: Knowledge Injection via Network Structuring.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Logic Programming library for Machine Learning: API design and prototype.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

Semantic Web-Based Interoperability for Intelligent Agents with PSyKE.
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.
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.
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.
SoftwareX, 2021

Logic-based technologies for multi-agent systems: a systematic literature review.
Auton. Agents Multi Agent Syst., 2021

On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction.
Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: a Roadmap.
Proceedings of the 22nd Workshop "From Objects to Agents", 2021

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors.
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Towards Explainable Visionary Agents: License to Dare and Imagine.
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge.
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.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Shallow2Deep: Restraining Neural Networks Opacity Through Neural Architecture Search.
Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

Probabilistic logic programming in 2P-KT.
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.
J. Log. Algebraic Methods Program., 2020

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

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

On the integration of symbolic and sub-symbolic techniques for XAI: A survey.
Intelligenza Artificiale, 2020

Neuro-symbolic Computation for XAI: Towards a Unified Model.
Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

2P-Kt: logic programming with objects & functions in Kotlin.
Proceedings of the Workshop on 21st Workshop "From Objects to Agents", 2020

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles, 2020

Agent-Based Explanations in AI: Towards an Abstract Framework.
Proceedings of the Explainable, Transparent Autonomous Agents and Multi-Agent Systems, 2020

An Abstract Framework for Agent-Based Explanations in AI.
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.
Proceedings of the 20th Workshop "From Objects to Agents", 2019

Towards Agent-Oriented Blockchains: Autonomous Smart Contracts.
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.
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.
Proceedings of the Internet and Distributed Computing Systems, 2019

TuSoW: Tuple Spaces for Edge Computing.
Proceedings of the 28th International Conference on Computer Communication and Networks, 2019

Smart Contracts are More than Objects: Pro-activeness on the Blockchain.
Proceedings of the Blockchain and Applications - International Congress, 2019

Towards XMAS: eXplainability through Multi-Agent Systems.
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.
Comput. Sci. Inf. Syst., 2018

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning.
Big Data Cogn. Comput., 2018

From the Blockchain to Logic Programming and Back: Research Perspectives.
Proceedings of the 19th Workshop "From Objects to Agents", 2018

Logic Programming in Space-Time: The Case of Situatedness in LPaaS.
Proceedings of the 19th Workshop "From Objects to Agents", 2018

Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum.
Proceedings of the 2018 IEEE/WIC/ACM International Conference on Web Intelligence, 2018

Micro-Intelligence for the IoT: SE Challenges and Practice in LPaaS.
Proceedings of the 2018 IEEE International Conference on Cloud Engineering, 2018

Transparent Protection of Aggregate Computations from Byzantine Behaviours via Blockchain.
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.
Proceedings of the Coordination Models and Languages, 2018

2017
Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing.
Proceedings of the 18th Workshop "From Objects to Agents", 2017

Programming the Interaction Space Effectively with \texttt ReSpecT\mathbb X.
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.
Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics, 2017


  Loading...