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