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

[  co-supervisor cloud  /  theses  ]