CIATTO, GIOVANNI
CIATTO, GIOVANNI
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Ricercatori a tempo determinato
2P-Kt: A Logic-Based Ecosystem for Symbolic AI
2021 Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin
2020 Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
A General-Purpose Protocol for Multi-Agent based Explanations
2023 Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini
A view to a KILL: Knowledge Injection via Lambda Layer
2022 Matteo Magnini, Giovanni Ciatto, Andrea Omicini
Agent-Based Explanations in AI: Towards an Abstract Framework
2020 Ciatto, Giovanni; Schumacher, Michael I.; Omicini, Andrea; Calvaresi, Davide
AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019
2019 Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini
An Abstract Framework for Agent-Based Explanations in AI
2020 Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini
Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum
2018 Giovanni Ciatto; Stefano Mariani; Andrea Omicini
Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts
2020 Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini
Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems
2023 Matteo Magnini, Giovanni Ciatto, Andrea Omicini
CILC 2022 – Italian Conference on Computational Logic
2022 Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Comparative Analysis of Blockchain Technologies Under a Coordination Perspective
2019 Ciatto, Giovanni; Bosello, Michael; Mariani, Stefano; Omicini, Andrea
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines
2019 Calegari, Roberta; Ciatto, Giovanni; Denti, Enrico; Omicini, Andrea
Engineering Semantic Self-composition of Services Through Tuple-Based Coordination
2020 Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
EXPECTATION: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge
2021 Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher
Explainable and Transparent AI and Multi-Agent Systems
2023 Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
Fifty Years of Prolog and Beyond
2022 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
Formal validation of neural networks as timed automata
2017 De Maria, Elisabetta; Di Giusto, Cinzia; Ciatto, Giovanni
From Agents to Blockchain: Stairway to Integration
2020 Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli
From the Blockchain to Logic Programming and Back: Research Perspectives
2018 Ciatto, Giovanni;Calegari, Roberta;Mariani, Stefano;Denti, Enrico;Omicini, Andrea
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| 2P-Kt: A Logic-Based Ecosystem for Symbolic AI | Giovanni Ciatto, Roberta Calegari, Andrea Omicini | 2021-01-01 | SOFTWAREX | - | 1.01 Articolo in rivista | 1-s2.0-S2352711021001126-main.pdf |
| 2P-Kt: logic programming with objects & functions in Kotlin | Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini | 2020-01-01 | - | Sun SITE Central Europe, RWTH Aachen University | 4.01 Contributo in Atti di convegno | paper14.pdf |
| A General-Purpose Protocol for Multi-Agent based Explanations | Giovanni Ciatto, Matteo Magnini, Berk Bezcu, Reyhan Aydogan, Andrea Omicini | 2023-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| A view to a KILL: Knowledge Injection via Lambda Layer | Matteo Magnini, Giovanni Ciatto, Andrea Omicini | 2022-01-01 | - | Sun SITE Central Europe, RWTH Aachen University | 4.01 Contributo in Atti di convegno | - |
| Agent-Based Explanations in AI: Towards an Abstract Framework | Ciatto, Giovanni; Schumacher, Michael I.; Omicini, Andrea; Calvaresi, Davide | 2020-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 | Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini | 2019-01-01 | - | Sun SITE Central Europe, RWTH Aachen University | 3.02 Curatela | - |
| An Abstract Framework for Agent-Based Explanations in AI | Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini | 2020-01-01 | - | International Foundation for Autonomous Agents and Multiagent Systems | 4.01 Contributo in Atti di convegno | - |
| Blockchain for Trustworthy Coordination: A First Study with LINDA and Ethereum | Giovanni Ciatto; Stefano Mariani; Andrea Omicini | 2018-01-01 | - | IEEE | 4.01 Contributo in Atti di convegno | - |
| Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts | Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini | 2020-01-01 | INFORMATION | - | 1.01 Articolo in rivista | information-11-00052.pdf |
| Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems | Matteo Magnini, Giovanni Ciatto, Andrea Omicini | 2023-01-01 | - | Sun SITE Central Europe, RWTH Aachen University | 4.01 Contributo in Atti di convegno | - |
| CILC 2022 – Italian Conference on Computational Logic | Roberta Calegari, Giovanni Ciatto, Andrea Omicini | 2022-01-01 | - | Sun SITE Central Europe (CEUR), Technical University of Aachen (RWTH) | 3.02 Curatela | proceedings-cilc2022 (1).pdf |
| Comparative Analysis of Blockchain Technologies Under a Coordination Perspective | Ciatto, Giovanni; Bosello, Michael; Mariani, Stefano; Omicini, Andrea | 2019-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
| Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines | Calegari, Roberta; Ciatto, Giovanni; Denti, Enrico; Omicini, Andrea | 2019-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | Calegari2019_Chapter_EngineeringMicro-intelligenceA.pdf |
| Engineering Semantic Self-composition of Services Through Tuple-Based Coordination | Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini | 2020-01-01 | - | Springer International Publishing | 4.01 Contributo in Atti di convegno | 10.1007@978-3-030-61470-6_13.pdf; ccdmso-isola-2020.pdf |
| EXPECTATION: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge | Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicin...i, Michael I. Schumacher | 2021-01-01 | - | Springer Nature | 4.01 Contributo in Atti di convegno | extraamas-2021-expectation.pdf |
| Explainable and Transparent AI and Multi-Agent Systems | Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Ya...zan Mualla, Kary Främling | 2023-01-01 | - | Springer | 3.02 Curatela | - |
| Fifty Years of Prolog and Beyond | Philipp Körner, Michael Beuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Herm...enegildo, Jose F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto | 2022-01-01 | THEORY AND PRACTICE OF LOGIC PROGRAMMING | - | 1.01 Articolo in rivista | fifty-years-of-prolog-and-beyond.pdf |
| Formal validation of neural networks as timed automata | De Maria, Elisabetta; Di Giusto, Cinzia; Ciatto, Giovanni | 2017-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| From Agents to Blockchain: Stairway to Integration | Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli | 2020-01-01 | APPLIED SCIENCES | - | 1.01 Articolo in rivista | applsci-10-07460.pdf |
| From the Blockchain to Logic Programming and Back: Research Perspectives | Ciatto, Giovanni;Calegari, Roberta;Mariani, Stefano;Denti, Enrico;Omicini, Andrea | 2018-01-01 | - | Sun SITE Central Europe, RWTH Aachen University | 4.01 Contributo in Atti di convegno | paper12.pdf |