Per Sort & Year


Per Sort & Year

Publications  /  2017–2022  /  Giovanni Ciatto

Articles in Journal
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
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
(2 articles in journal in 2022)
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
Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: A Logic-Based Ecosystem for Symbolic AI
SoftwareX 16, December 2021
(2 articles in journal in 2021)
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, Franco Zambonelli
From Agents to Blockchain: Stairway to Integration
Applied Sciences 10(21), October 2020
(5 articles in journal in 2020)
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
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning
Big Data and Cognitive Computing 2(3), 2018
(2 articles in journal in 2018)
(11 articles in journal from 2017 to 2022)  [top]  [bottom]
Papers in Proceedings
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, 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
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
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
(7 papers in proceedings in 2022)
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
(8 papers in proceedings in 2021)
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, 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
(6 papers in proceedings in 2020)
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
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
(7 papers in proceedings in 2019)
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
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
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, 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
(6 papers in proceedings in 2018)
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 papers in proceedings in 2017)
(38 papers in proceedings from 2017 to 2022)  [top]  [bottom]
Edited Volumes
2022
Roberta Calegari, Giovanni Ciatto, Andrea Omicini (eds.)
CILC 2022 – Italian Conference on Computational Logic
CILC 2022. CEUR Workshop Proceedings 3204, 2022
(1 edited volume in 2022)
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
(1 edited volume in 2021)
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
(1 edited volume in 2020)
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
(1 edited volume in 2019)
(4 edited volumes from 2017 to 2022)  [top]  [bottom]
Editorials / Introductions / Prefaces
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
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
(2 editorials / introductions / prefaces in 2022)
2021
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Preface
WOA 2021. CEUR Workshop Proceedings 2963, October 2021
(1 editorial / introduction / preface in 2021)
2020
Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
Preface
WOA 2020. CEUR Workshop Proceedings 2706, October 2020
(1 editorial / introduction / preface in 2020)
(4 editorials / introductions / prefaces from 2017 to 2022)  [top]  [bottom]
(57 publications from 2017 to 2022)

Tags:
Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY