co-supervisor : Giovanni Ciatto
30
theses
Programmazione multi-piattaforma: disamina storica e tecnologica (15/03/2024) — Matteo Lanzi Extending the 2P-Kt ecosystem: CLP and Labelled LP (03/02/2023) — Giuseppe Boezio Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt (27/05/2022) — Luca Nannini Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (16/12/2021) — Andrea Giordano Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (22/07/2021) — Giovanni Speciale Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain (22/07/2021) — Cristiano Aprigliano Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (21/07/2021) — Jason Dellaluce Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (28/05/2021) — Maicol Forti Spatial Tuples nel mondo reale: il caso di Unity e Google Maps (28/05/2021) — Marco Pastore Engineering Angle-of-Arrival-based Indoor Localization Systems (26/03/2021) — Shapour Nemati Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt (04/02/2021) — Matteo Castiglio Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks (17/12/2020) — Federico Sabbatini Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (22/07/2020) — Andrea Dipietro Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (22/07/2020) — Riccardo Varotto Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (22/07/2020) — Ilaria Crivellari AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (19/03/2020) — XWiki.GiuseppePisano3 Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati (12/12/2019) — Matteo Minardi 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (12/12/2019) — Enrico Siboni Simulazione di Agenti BDI basati su Prolog in Alchemist (12/12/2019) — Filippo Nicolini Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma (12/12/2019) — Mariano Caldara Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI (06/07/2019) — Jason Dellaluce Logic-based coordination: a semantic approach to self-composition of services (21/03/2019) — Ashley Caselli Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata (21/03/2019) — Andrea Cardiota Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza (21/03/2019) — Matteo Saccomanni Blockchain and beyond: proactive logic smart contracts (14/12/2018) — Alfredo Maffi Testing automatico per una implementazione dello standard OpenGL (18/10/2018) — Edoardo Antonini Coordination as a Web Service: una moderna implementazione del modello Linda (18/10/2018) — Lorenzo Rizzato Multi-sensing Data Fusion: Target tracking via particle filtering (18/10/2018) — Alessandro Contro Blockchain: modello generale e tassonomia delle componenti chiave (22/03/2018) — Alex Collini La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (15/12/2017) — Nicola Atti