50
pubblicazioni
senza
Semantic Scholar ID
/
2017–2023
/
Giovanni Ciatto
- Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (numero speciale) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Towards a Unified Model for Symbolic Knowledge Extraction with Hypercube-Based Methods (articolo in rivista) — Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- Bridging Symbolic and Sub-Symbolic AI: Towards Cooperative Transfer Learning in Multi-Agent Systems (articolo in atti) — Matteo Magnini, Giovanni Ciatto, Andrea Omicini
- Preface (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- JaKtA: BDI Agent-Oriented Programming in Pure Kotlin (articolo in atti) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
- Explainable and Transparent AI and Multi-Agent Systems (curatela) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
6 pubblicazioni nel 2023 senza Semantic Scholar ID •
in cima •
indice •
in fondo
- CILC 2022 – Italian Conference on Computational Logic (curatela) — Roberta Calegari, Giovanni Ciatto, 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
- 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
8 pubblicazioni nel 2022 senza Semantic Scholar ID •
in cima •
indice •
in fondo
- Preface (editoriale/introduzione/prefazione) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- On the Design of PSyKE: A Platform for Symbolic Knowledge Extraction (articolo in atti) — Federico Sabbatini, 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
- 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
7 pubblicazioni nel 2021 senza Semantic Scholar ID •
in cima •
indice •
in fondo
- 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
- Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (articolo in atti) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
9 pubblicazioni nel 2020 senza Semantic Scholar ID •
in cima •
indice •
in fondo
- 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
- TuSoW: Tuple Spaces for Edge Computing (articolo in atti) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
- 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
8 pubblicazioni nel 2019 senza Semantic Scholar ID •
in cima •
indice •
in fondo
- 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
- Micro-intelligence for the IoT: SE Challenges and Practice in LPaaS (articolo in atti) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, 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
- Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum (articolo in atti) — Giovanni Ciatto, Stefano Mariani, 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
8 pubblicazioni nel 2018 senza Semantic Scholar ID •
in cima •
indice •
in fondo
- 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 Semantic Scholar ID •
in cima •
indice •
in fondo
0000-0002-1841-8996