Per livello

45 tesi / Roberta Calegari

laurea • laurea magistrale • dottorato

Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (22/07/2020) — Ilaria Crivellari
Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (22/07/2020) — Andrea Dipietro
Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (22/07/2020) — Riccardo Varotto
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
Revisione architetturale di plugin multi-linguaggio su piattaforma Eclipse (24/07/2017) — Federico Stella
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
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
REALIZZAZIONE DI UN PROTOTIPO DI SMART OVEN IN AMBIENTE HOME MANAGER (14/07/2016) — Armando Mancini
Progetto e sviluppo di middleware per l’interfacciamento di sensori per la domotica in ambiente Java (13/07/2016) — Federico Baldassarre
2P as a service for Android (13/07/2016) — Lucrezia Paradisi
Progetto e sviluppo di una libreria tuProlog per l’interfacciamento di sensori in contesti di pervasive computing (13/07/2016) — Federico Venturini
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
Windows 10 IoT su Raspberry Pi 2: multiparadigm programming tra Java e C# (11/02/2016) — Luca Marzaduri
Smart home: reasoning e proattività applicate ad un caso di studio (12/10/2015) — Alessandro Celi
Sperimentazione di tecnologie Raspberry in contesti di Home Intelligence (12/10/2015) — Matteo Carano
Applicazioni multi-paradigma e multi-linguaggio: il caso Prolog/Swift/Java (12/10/2015) — Alberto Sita
Butler vision nella home intelligence: un caso di studio (17/03/2015) — Vincenzo Zappavigna
Geolocalizzazione di servizi in un sistema di home intelligence (17/03/2015) — Daiana Paolini
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

28 tesi di laurea • in cima • indice • in fondo

tesi di laurea magistrale

FairLib: A Toolkit for Bias Analysis and Mitigation in AI Systems (10/07/2025) — Valerio Di Zio
Addressing Fairness in AI Systems: Design and Development of a Pragmatic (Meta-)Methodology (14/03/2025) — Mattia Matteini
Fair-by-Design Workflow for Unbiased AI Development and Equitable Outcomes (14/03/2024) — Antonio Iannotta
Extending the 2P-Kt ecosystem: CLP and Labelled LP (03/02/2023) — Giuseppe Boezio
Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (22/07/2021) — Giovanni Speciale
Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (21/07/2021) — Jason Dellaluce
Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (28/05/2021) — Maicol Forti
Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt (04/02/2021) — Matteo Castiglio
AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (19/03/2020) — XWiki.GiuseppePisano3
Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (24/07/2017) — Alberto Sita
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
Realizzazione di applicazioni multi-piattaforma: Android, iOS, Java (11/02/2016) — Vito Colletta
Progetto e realizzazione dell'interfacciamento secondo la specifica Java Scripting Engine dell'interprete tuProlog (12/10/2015) — Andrea Bucaletti
Home intelligence & social network in the Butlers perspective (12/10/2015) — Sara Bevilacqua

15 tesi di laurea magistrale • in cima • indice • in fondo

tesi di dottorato

Argumentation for Legal Reasoning: Meta-models, Technology and Beyond (04/07/2024) — Giuseppe Pisano
Micro-Intelligence for the IoT: Logic-Based Models and Technologies (20/04/2018) — Roberta Calegari

2 tesi di dottorato • in cima • indice • in fondo

0000-0003-3794-2942

Collegamenti

— Prodotti
2P
LPaaS
Arg-tuProlog

— Eventi
WOA 2021

— Progetti
CompuLaw

— Associazioni
AIxIA

— Corsi
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers