Per anno

55 pubblicazioni senza IEEE No / 2017–2022 / Giovanni Ciatto

long bib

2022 • 2021 • 2020 • 2019 • 2018 • 2017

2022

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

13 pubblicazioni nel 2022 senza IEEE No • in cima • indice • in fondo

2021

Preface (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search (articolo in atti) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (articolo in atti) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI (articolo in rivista) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge (articolo in atti) — 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” (curatela) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (articolo in atti) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
Towards Explainable Visionary Agents: License to Dare and Imagine (articolo in atti) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors (articolo in atti) — Federico Sabbatini, Giovanni Ciatto, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini
Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap (articolo in atti) — Andrea Agiollo, Giovanni Ciatto, Andrea Omicini
Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review (articolo in rivista) — Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini

12 pubblicazioni nel 2021 senza IEEE No • in cima • indice • in fondo

2020

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

13 pubblicazioni nel 2020 senza IEEE No • in cima • indice • in fondo

2019

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

7 pubblicazioni nel 2019 senza IEEE No • in cima • indice • in fondo

2018

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

6 pubblicazioni nel 2018 senza IEEE No • in cima • indice • in fondo

2017

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

4 pubblicazioni nel 2017 senza IEEE No • in cima • indice • in fondo