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