Per Year
- Special Issue “Computational Logic on Prolog's 50th Anniversary: Highlights from CILC 2022” (special issue) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Preface (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
- Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (paper in proceedings) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
- Infrastructures for the Edge-Cloud Continuum on a Small Scale: a Practical Case Study (paper in proceedings) — Martina Baiardi, Giovanni Ciatto, Danilo Pianini
- JaKtA: BDI Agent-Oriented Programming in Pure Kotlin (paper in proceedings) — Martina Baiardi, Samuele Burattini, Giovanni Ciatto, Danilo Pianini
- Explainable and Transparent AI and Multi-Agent Systems (edited volume) — Davide Calvaresi, Amro Najjar, Andrea Omicini, Reyhan Aydoǧan, Rachele Carli, Giovanni Ciatto, Yazan Mualla, Kary Främling
- Fifty Years of Prolog and Beyond (article in journal) — 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
- Probabilistic logic programming in 2P-Kt (paper in proceedings) — Jason Dellaluce, Roberta Calegari, Giovanni Ciatto
- Logic Programming library for Machine Learning: API design and prototype (paper in proceedings) — Giovanni Ciatto, Matteo Castigliò, Roberta Calegari
- Preface (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- WOA 2021 – 22nd Workshop “From Objects to Agents” (edited volume) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Towards Explainable Visionary Agents: License to Dare and Imagine (paper in proceedings) — Giovanni Ciatto, Amro Najjar, Jean-Paul Calbimonte, Davide Calvaresi
- Neuro-symbolic Computation for XAI: Towards a Unified Model (paper in proceedings) — Giuseppe Pisano, Giovanni Ciatto, Roberta Calegari, Andrea Omicini
- WOA 2020 – 21st Workshop “From Objects to Agents” (edited volume) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- 2P-Kt: logic programming with objects & functions in Kotlin (paper in proceedings) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
- Preface (editorial/introduction/preface) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini, Giovanni Sartor
- Engineering Semantic Self-composition of Services Through Tuple-Based Coordination (paper in proceedings) — Ashley Caselli, Giovanni Ciatto, Giovanna Di Marzo Serugendo, Andrea Omicini
- Preface – AI&IoT 2019 (editorial/introduction/preface) — Claudio Savaglio, Giovanni Ciatto, Andrea Omicini, Giancarlo Fortino
- AI&IoT 2019 – Artificial Intelligence and Internet of Things 2019 (edited volume) — Claudio Savaglio, Giancarlo Fortino, Giovanni Ciatto, Andrea Omicini
- TuSoW: Tuple Spaces for Edge Computing (paper in proceedings) — Giovanni Ciatto, Lorenzo Rizzato, Andrea Omicini, Stefano Mariani
- Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
- Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
- Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives (paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini, Franco Zambonelli, Maxime Louvel
- Logic Programming in Space-Time: The Case of Situatedness in LPaaS (paper in proceedings) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
- Programming the Interaction Space Effectively with ReSpecTX (paper in proceedings) — Giovanni Ciatto, Stefano Mariani, Andrea Omicini
- Novel Opportunities for Tuple-based Coordination: XPath, the Blockchain, and Stream Processing (paper in proceedings) — Stefano Mariani, Andrea Omicini, Giovanni Ciatto
- Spiking Neural Networks as Timed Automata (paper in proceedings) — Giovanni Ciatto, Elisabetta De Maria, Cinzia Di Giusto
- Formal Validation of Neural Networks as Timed Automata (paper in proceedings) — Elisabetta De Maria, Cinzia Di Giusto, Giovanni Ciatto