tag : logic programming
8 publications / Giovanni Ciatto
CILC 2022 – Italian Conference on Computational Logic (CILC 2022) — Roberta Calegari, Giovanni Ciatto, Andrea Omicini
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (JELIA 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini
2P-Kt: logic programming with objects & functions in Kotlin (WOA 2020) — Giovanni Ciatto, Roberta Calegari, Enrico Siboni, Enrico Denti, Andrea Omicini
Interpretable Narrative Explanation for ML Predictors with LP: A Case Study for XAI (WOA 2019) — Roberta Calegari, Giovanni Ciatto, Jason Dellaluce, Andrea Omicini
Engineering Micro-intelligence at the Edge of CPCS: Design Guidelines (IDCS 2019) — Roberta Calegari, Giovanni Ciatto, Enrico Denti, Andrea Omicini
LPaaS as Micro-intelligence: Enhancing IoT with Symbolic Reasoning (Big Data and Cognitive Computing, 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
Logic Programming in Space-Time: The Case of Situatedness in LPaaS (WOA 2018) — Roberta Calegari, Giovanni Ciatto, Stefano Mariani, Enrico Denti, Andrea Omicini
From the Blockchain to Logic Programming and Back: Research Perspectives (WOA 2018) — Giovanni Ciatto, Roberta Calegari, Stefano Mariani, Enrico Denti, Andrea Omicini