| completed |
Giuseppe Boezio
Extending the 2P-Kt ecosystem: CLP and Labelled LP
Tesi di laurea magistrale, 03/02/2023 |
Giovanni Speciale
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP
Tesi di laurea magistrale, 22/07/2021 |
Jason Dellaluce
Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study
Tesi di laurea magistrale, 21/07/2021 |
Maicol Forti
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations
Tesi di laurea magistrale, 28/05/2021 |
Matteo Castiglio
Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt
Tesi di laurea magistrale, 04/02/2021 |
Andrea Dipietro
Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt
Tesi di laurea, 22/07/2020 |
Riccardo Varotto
Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML
Tesi di laurea, 22/07/2020 |
Ilaria Crivellari
Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin
Tesi di laurea, 22/07/2020 |
XWiki.GiuseppePisano3
AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici
Tesi di laurea magistrale, 19/03/2020 |
Jason Dellaluce
Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI
Tesi di laurea, 06/07/2019 |
Alessandro Calvio
Smart Environment su piattaforma Home Manager: sensori e micro-intelligenza
Tesi di laurea, 03/10/2018 |
Luca Antognetti
Micro-Intelligenza in contesti Smart Home: realizzazione di un guardaroba intelligente
Tesi di laurea, 03/10/2018 |
Roberta Calegari
Micro-Intelligence for the IoT: Logic-Based Models and Technologies
Tesi di dottorato, 20/04/2018 |
Nicola Fava
Coordinazione di elettrodomestici in uno scenario Smart Home: sperimentazione su piattaforma Home Manager
Tesi di laurea, 06/10/2017 |
Alberto Sita
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog
Tesi di laurea magistrale, 24/07/2017 |
Federico Stella
Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse
Tesi di laurea, 24/07/2017 |
Ilaria Bertoletti
Smart home: reasoning e proattività applicate ad un caso di studio
Tesi di laurea magistrale, 15/06/2017 |
Andrea Muccioli
tuProlog as a Service: intelligenza per scenari IoT
Tesi di laurea magistrale, 13/03/2017 |
Luca Scalzotto
Refactoring e attualizzazione del prototipo di Home Manager su piattaforma Raspberry
Tesi di laurea, 06/10/2016 |
Erika Gardini
Studiare e sviluppare alcuni casi di studio significativi in ottica Smart Home
Tesi di laurea, 06/10/2016 |
Federico Gava
Scheduling di elettrodomestici nel prototipo di Home Manager
Tesi di laurea, 06/10/2016 |
Simone Bruzzechesse
HUMAN PRESENCE DETECTION IN AMBIENTE HOME MANAGER: SPERIMENTAZIONE SU PIATTAFORMA RASPBERRY
Tesi di laurea, 14/07/2016 |
Armando Mancini
REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER
Tesi di laurea, 14/07/2016 |
Alessio Mora
Home Manager Application su Android ART: progetto e realizzazione in ottica modern UI
Tesi di laurea, 14/07/2016 |
Federico Baldassarre
Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java
Tesi di laurea, 13/07/2016 |
Lucrezia Paradisi
2P as a service for Android
Tesi di laurea, 13/07/2016 |
Federico Venturini
Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing
Tesi di laurea, 13/07/2016 |
Ivan Fraioli
Smart Home: HomeKit e Nest
Tesi di laurea, 17/03/2016 |
Jacopo Ameli
HUMAN PRESENCE DETECTION: ANALISI COMPARATIVA E CASO DI STUDIO IN HOME MANAGER
Tesi di laurea, 17/03/2016 |
Luca Marzaduri
Windows 10 IoT su Raspberry Pi 2: multiparadigm programming tra Java e C#
Tesi di laurea, 11/02/2016 |
Vito Colletta
Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java
Tesi di laurea magistrale, 11/02/2016 |
Alberto Sita
Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java
Tesi di laurea, 12/10/2015 |
Sara Bevilacqua
Home intelligence & social network in the Butlers perspective
Tesi di laurea magistrale, 12/10/2015 |
Matteo Carano
Sperimentazione di tecnologie Raspberry in contesti di Home Intelligence
Tesi di laurea, 12/10/2015 |
Andrea Bucaletti
Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog
Tesi di laurea magistrale, 12/10/2015 |
Alessandro Celi
Smart home: reasoning e proattività applicate ad un caso di studio
Tesi di laurea, 12/10/2015 |
Vincenzo Zappavigna
Butler vision nella home intelligence: un caso di studio
Tesi di laurea, 17/03/2015 |
Daiana Paolini
Geolocalizzazione di servizi in un sistema di home intelligence
Tesi di laurea, 17/03/2015 |
Marcello Colameo
Test di accettazione: strumenti a confronto
Tesi di laurea, 11/12/2014 |
Michele Francesco Di Lella
Generatori di codice in Visual Studio: modelli di funzionamento e applicazioni pratiche
Tesi di laurea, 11/12/2014 |
Lorenzo Dalla Casa
Traduzione semi-automatica di applicazioni in iOS: approcci e strumenti
Tesi di laurea, 18/06/2014 |
| (41 tesi / tesi completate) [in cima] [in fondo] |
0000-0003-3794-2942