Per Status

Theses  /  Roberta Calegari

• Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (2nd cycle, 21/07/2021) — Jason Dellaluce
• Integrazione tra Programmazione Logica e Reti Neurali:  esperimenti in 2p-Kt (2nd cycle, 04/02/2021) — Matteo Castiglio
• Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (1st cycle, 22/07/2020) — Andrea Dipietro
• Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (1st cycle, 22/07/2020) — Ilaria Crivellari
• Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (1st cycle, 22/07/2020) — Riccardo Varotto

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

• Smart Environment su piattaforma Home Manager:  sensori e micro-intelligenza (1st cycle, 03/10/2018) — Alessandro Calvio
• Micro-Intelligenza in contesti Smart Home: realizzazione di un guardaroba intelligente (1st cycle, 03/10/2018) — Luca Antognetti
• Micro-Intelligence for the IoT: Logic-Based Models and Technologies (3rd cycle, 20/04/2018) — Roberta Calegari
• Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (2nd cycle, 24/07/2017) — Alberto Sita
• tuProlog as a Service: intelligenza per scenari IoT (2nd cycle, 13/03/2017) — Andrea Muccioli
• Geolocalizzazione di servizi in un sistema di home intelligence (1st cycle, 17/03/2015) — Daiana Paolini