Per Year
- Manage
- Copy
- Actions
- Export
- Annotate
- Print Preview
Choose the export format from the list below:
- Office Formats (1)
-
Export as Portable Document Format (PDF) using Apache Formatting Objects Processor (FOP)
-
- Other Formats (1)
-
Export as HyperText Markup Language (HTML)
-
Per Year
58 publications / 2017–2023 / Giovanni Ciatto
2022 |
Roberta Calegari, Giovanni Ciatto, Andrea Omicini (eds.) CILC 2022 – Italian Conference on Computational Logic CILC 2022. CEUR Workshop Proceedings 3204, 2022 |
Jason Dellaluce, Roberta Calegari, Giovanni Ciatto Probabilistic logic programming in 2P-Kt AI*IA 2021. CEUR Workshop Proceedings 3078, January 2022 |
Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini Symbolic knowledge extraction from opaque ML predictors in PSyKE: Platform design & experiments Intelligenza Artificiale 16(1), July 2022 |
Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari Special Issue for the 22nd Workshop “From Objects to Agents'' (WOA 2021) Intelligenza Artificiale 16(1), July 2022 |
Matteo Magnini, Giovanni Ciatto, Andrea Omicini KINS: Knowledge Injection via Network Structuring CILC 2022. CEUR Workshop Proceedings 3204, 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, Matteo Castigliò, Roberta Calegari Logic Programming library for Machine Learning: API design and prototype CILC 2022. CEUR Workshop Proceedings 3204, 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 |
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, Andrea Omicini Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022) 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 |
Roberta Calegari, Giovanni Ciatto, Andrea Omicini, Giuseppe Vizzari (eds.) Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021) Intelligenza Artificiale 16(1), July 2022 |
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 |
(13 publications in 2022) [top] [bottom] |
2021 |
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, Viviana Mascardi, Andrea Omicini Logic-based Technologies for Multi-agent Systems: A Systematic Literature Review Autonomous Agents and Multi-Agent Systems 35(1), 2021 |
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor Preface WOA 2021. CEUR Workshop Proceedings 2963, October 2021 |
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 |
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 |
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 |
Giovanni Ciatto, Roberta Calegari, Andrea Omicini 2P-Kt: A Logic-Based Ecosystem for Symbolic AI SoftwareX 16, December 2021 |
(12 publications in 2021) [top] [bottom] |
2020 |
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 |
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, Davide Calvaresi, Michael I. Schumacher, Andrea Omicini An Abstract Framework for Agent-Based Explanations in AI AAMAS 2020, May 2020 |
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 |
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, 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, Giovanni Sartor Preface WOA 2020. CEUR Workshop Proceedings 2706, October 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, 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 |
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 |
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, Franco Zambonelli From Agents to Blockchain: Stairway to Integration Applied Sciences 10(21), October 2020 |
(13 publications in 2020) [top] [bottom] |
2019 |
Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani TuSoW: Tuple Spaces for Edge Computing ICCCN 2019, 29 July–1 August 2019 |
Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino Preface – AI&IoT 2019 AI&IoT 2019. CEUR Workshop Proceedings 2502, November 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, Alfredo Maffi, Stefano Mariani, Andrea Omicini Towards Agent-oriented Blockchains: Autonomous Smart Contracts PAAMS'19. Lecture Notes in Computer Science 11523, June 2019 |
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, 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, Michael Bosello, Stefano Mariani, Andrea Omicini Comparative Analysis of Blockchain Technologies under a Coordination Perspective Communications in Computer and Information Science 1047, 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 |
(8 publications in 2019) [top] [bottom] |
2018 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum BCT4MAS 2018, December 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 |
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 Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS Globe-IoT 2018, 17-20 April 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 |
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 |
(8 publications in 2018) [top] [bottom] |
2017 |
Giovanni Ciatto, Stefano Mariani, Andrea Omicini Programming the Interaction Space Effectively with ReSpecTX Studies in Computational Intelligence 737, 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 |
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 |
(4 publications in 2017) [top] [bottom] |
Publications / Ciatto
Home
— clouds
tags | co-authors | co-editors | journals
— per year
2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017
— per sort
in journal | in proc | chapters | books | edited | spec issues | editorials | entries | manuals | tech reps | phd th | others
— per status
online | in press | proof | camera-ready | revised | accepted | revision | submitted | draft | note
— services
ACM Digital Library | DBLP | IEEE Xplore | IRIS | PubMed | Google Scholar | Scopus | Semantic Scholar | Web of Science | DOI
Contacts
- E-mail address: giovanni.ciatto@unibo.it
- Office address: Lab E (a.k.a. "Area 4.0") ground floor at "Nuovo Campus", Via dell'Università n°50, 47521, Cesena (FC), Italy
- Office hours: contact me to take an appointment
- Personal homepage: https://about.me/gciatto
- Institutional homepage: https://www.unibo.it/sitoweb/giovanni.ciatto/en