Per Sort
Per Sort
58 publications / 2017–2023 / Giovanni Ciatto
articles in journal | papers in proceedings | edited volumes | special issues | editorials / introductions / prefaces
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 Fifty Years of Prolog and Beyond Theory and Practice of Logic Programming 22(6), November 2022 |
Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review Autonomous Agents and Multi-Agent Systems 35(1), 2021 |
Giovanni Ciatto, Roberta Calegari, Andrea Omicini 2P-Kt: A Logic-Based Ecosystem for Symbolic AI SoftwareX 16, December 2021 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli From Agents to Blockchain: Stairway to Integration Applied Sciences 10(21), October 2020 |
Roberta Calegari, Giovanni Ciatto, Andrea Omicini On the integration of symbolic and sub-symbolic techniques for XAI: A survey Intelligenza Artificiale 14(1), September 2020 |
Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts Information 11(1), January 2020 |
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini Logic-based Technologies for Intelligent Systems: State of the Art and Perspectives Information 11(3), March 2020 |
Giovanni Ciatto, Giovanna Di Marzo Serugendo, Maxime Louvel, Stefano Mariani, Andrea Omicini, Franco Zambonelli Twenty years of coordination technologies: COORDINATION contribution to the state of art Journal of Logical and Algebraic Methods in Programming 113, June 2020 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini ReSpecTX: Programming Interaction Made Easy Computer Science and Information Systems 15(3), October 2018 |
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning Big Data and Cognitive Computing 2(3), 2018 |
Matteo Magnini, Giovanni Ciatto, Andrea Omicini On the Design of PSyKI: a Platform for Symbolic Knowledge Injection into Sub-Symbolic Predictors EXTRAAMAS 2022. Lecture Notes in Computer Science 13283, 2022 |
Matteo Magnini, Giovanni Ciatto, Andrea Omicini A view to a KILL: Knowledge Injection via Lambda Layer WOA 2022. CEUR Workshop Proceedings 3261, November 2022 |
Jason Dellaluce, Roberta Calegari, Giovanni Ciatto Probabilistic logic programming in 2P-Kt AI*IA 2021. CEUR Workshop Proceedings 3078, January 2022 |
Matteo Magnini, Giovanni Ciatto, Andrea Omicini KINS: Knowledge Injection via Network Structuring CILC 2022. CEUR Workshop Proceedings 3204, 2022 |
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini Hypercube-Based Methods for Symbolic Knowledge Extraction: Towards a Unified Model WOA 2022. CEUR Workshop Proceedings 3261, November 2022 |
Federico Sabbatini, Giovanni Ciatto, Andrea Omicini Semantic Web-based Interoperability for Intelligent Agents with PSyKE EXTRAAMAS 2022. Lecture Notes in Computer Science 13283, 2022 |
Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi Towards Explainable Visionary Agents: License to Dare and Imagine EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, 2021 |
Federico Sabbatini, Giovanni Ciatto, Andrea Omicini GridEx: An Algorithm for Knowledge Extraction from Black-Box Regressors EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, July 2021 |
Giovanni Ciatto, Roberta Calegari, Andrea Omicini Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt JELIA 2021. Lecture Notes in Computer Science 12678, 2021 |
Andrea Agiollo, Giovanni Ciatto, Andrea Omicini Graph Neural Networks as the Copula Mundi between Logic and Machine Learning: A Roadmap WOA 2021. CEUR Workshop Proceedings 2963, October 2021 |
Roberta Calegari, Giovanni Ciatto, Viviana Mascardi, Andrea Omicini Logic-based Technologies for Multi-agent Systems: Summary of a Systematic Literature Review AAMAS 2021, May 2021 |
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction WOA 2021. CEUR Workshop Proceedings 2963, October 2021 |
Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydoğan, Leon Van der Torre, Andrea Omicini, Michael I. Schumacher Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, July 2021 |
Andrea Agiollo, Giovanni Ciatto, Andrea Omicini Shallow2Deep: Restraining Neural Networks Opacity through Neural Architecture Search EXTRAAMAS 2021. Lecture Notes in Computer Science 12688, 2021 |
Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini Engineering Semantic Self-composition of Services Through Tuple-Based Coordination ISOLA 2020. Lecture Notes in Computer Science 12477, October 2020 |
Giovanni Ciatto, Michael I. Schumacher, Andrea Omicini, Davide Calvaresi Agent-Based Explanations in AI: Towards an Abstract Framework EXTRAAMAS 2020. Lecture Notes in Computer Science 12175, 2020 |
Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini Neuro-symbolic Computation for XAI: Towards a Unified Model WOA 2020. CEUR Workshop Proceedings 2706, October 2020 |
Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini 2P-Kt: logic programming with objects & functions in Kotlin WOA 2020. CEUR Workshop Proceedings 2706, October 2020 |
Giovanni Ciatto, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini An Abstract Framework for Agent-Based Explanations in AI AAMAS 2020, May 2020 |
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini Smart Contracts are More than Objects: Pro-activeness on the Blockchain BLOCKCHAIN'19. Advances in Intelligent Systems and Computing 1010, 2020 |
Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani TuSoW: Tuple Spaces for Edge Computing ICCCN 2019, 29 July–1 August 2019 |
Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI WOA 2019. CEUR Workshop Proceedings 2404, July 2019 |
Giovanni Ciatto, Roberta Calegari, Andrea Omicini, Davide Calvaresi Towards XMAS: eXplainability through Multi-Agent Systems AI&IoT 2019. CEUR Workshop Proceedings 2502, November 2019 |
Giovanni Ciatto, Michael Bosello, Stefano Mariani, Andrea Omicini Comparative Analysis of Blockchain Technologies under a Coordination Perspective Communications in Computer and Information Science 1047, June 2019 |
Giovanni Ciatto, Alfredo Maffi, Stefano Mariani, Andrea Omicini Towards Agent-oriented Blockchains: Autonomous Smart Contracts PAAMS'19. Lecture Notes in Computer Science 11523, June 2019 |
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines IDCS 2019. Lecture Notes in Computer Science 11874, 10–12 October 2019 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum BCT4MAS 2018, December 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, November 2018 |
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini Logic Programming in Space-Time: The Case of Situatedness in LPaaS WOA 2018. CEUR Workshop Proceedings 2215, 29–30 June 2018 |
Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini From the Blockchain to Logic Programming and Back: Research Perspectives WOA 2018. CEUR Workshop Proceedings 2215, June 2018 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives COORDINATION 2018. Lecture Notes in Computer Science 10852, 2018 |
Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS Globe-IoT 2018, 17-20 April 2018 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini Programming the Interaction Space Effectively with ReSpecTX Studies in Computational Intelligence 737, 2017 |
Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto Spiking Neural Networks as Timed Automata ALP4IoT2017, 2017 |
Stefano Mariani, Andrea Omicini, Giovanni Ciatto Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing WOA 2017. CEUR Workshop Proceedings 1867, June 2017 |
Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto Formal Validation of Neural Networks as Timed Automata Proceedings of the 8th International Conference on Computational Systems-Biology and Bioinformatics (CsBio17), 2017 |
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor (eds.) WOA 2021 – 22nd Workshop “From Objects to Agents” WOA 2021. CEUR Workshop Proceedings 2963, October 2021 |
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor (eds.) WOA 2020 – 21st Workshop “From Objects to Agents” WOA 2020. CEUR Workshop Proceedings 2706, October 2020 |
Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini (eds.) AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 AI&IoT 2019. CEUR Workshop Proceedings 2502, November 2019 |
Roberta Calegari, Giovanni Ciatto, Andrea Omicini Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) CILC 2022. CEUR Workshop Proceedings 3204, 2022 |
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor Preface WOA 2021. CEUR Workshop Proceedings 2963, October 2021 |
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor Preface WOA 2020. CEUR Workshop Proceedings 2706, October 2020 |
Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino Preface – AI&IoT 2019 AI&IoT 2019. CEUR Workshop Proceedings 2502, November 2019 |