Per Role
36
theses
/
cosupervisor
/
Giovanni Ciatto
- Agent-Driven Intelligent Monitoring: Hybrid Reasoning for Fault Detection (2nd cycle) — Davide Di Marco
- How Models Verify Their Reasoning: Energy, Likelihood, and Reward (2nd cycle) — Marco Pesic
- Sviluppo di un sistema distribuito per la predizione dell’osteoartrite del ginocchio (2nd cycle) — Simone Montanari
- L’evoluzione della blockchain di Ethereum: una retrospettiva sulle milestones, sfide tecnico- coordinative, ed architettura corrente (1st cycle) — Marco Marinelli
- Stigmergia cognitiva per il coordinamento emergente di MAS nel caso di studio del traffico urbano (2nd cycle) — Alessandro Pioggia
- Integrated Development Environments: Exploring the Impact of the Implementation of Artificial Intelligence on Workflow Efficiency and its Potential for Developer Displacement (2nd cycle) — Bruna Moema Dias Bahmed
- Programmazione multi-piattaforma: disamina storica e tecnologica (1st cycle) — Matteo Lanzi
- Extending the 2P-Kt ecosystem: CLP and Labelled LP (2nd cycle) — Giuseppe Boezio
- Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt (2nd cycle) — Luca Nannini
- Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (2nd cycle) — Andrea Giordano
- Hyperledger: Architettura, Struttura e Tecnologie applicate alla Blockchain (1st cycle) — Cristiano Aprigliano
- Il Ragionamento Logico come Forma di Apprendimento: Sviluppo di Un Framework per ILP (2nd cycle) — Giovanni Speciale
- Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (2nd cycle) — Jason Dellaluce
- Spatial Tuples nel mondo reale: il caso di Unity e Google Maps (1st cycle) — Marco Pastore
- Logic Reasoning in BDI Agents: Current Trends and Spatial Integrations (2nd cycle) — Maicol Forti
- Engineering Angle-of-Arrival-based Indoor Localization Systems (2nd cycle) — Shapour Nemati
- Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt (2nd cycle) — Matteo Castiglio
- Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks (2nd cycle) — Federico Sabbatini
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (1st cycle) — Riccardo Varotto
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (1st cycle) — Andrea Dipietro
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (1st cycle) — Ilaria Crivellari
- AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (2nd cycle) — Giuseppe Pisano
- Gradle, Kotlin e lo sviluppo di un’applicazione multipiattaforma (1st cycle) — Mariano Caldara
- Simulazione di Agenti BDI basati su Prolog in Alchemist (2nd cycle) — Filippo Nicolini
- 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (2nd cycle) — Enrico Siboni
- Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati (2nd cycle) — Matteo Minardi
- Progettazione di un framework integrato per tecniche sub-simboliche e simboliche: Verso l'eXplainable AI (1st cycle) — Jason Dellaluce
- Logic-based coordination: a semantic approach to self-composition of services (2nd cycle) — Ashley Caselli
- Tecnologia Blockchain: un'analisi tecnica e sviluppo di un'applicazione decentralizzata (1st cycle) — Andrea Cardiota
- Blockchain e Internet of Things: realizzazione di un’applicazione decentralizzata per l’affitto di case vacanza (1st cycle) — Matteo Saccomanni
- Blockchain and beyond: proactive logic smart contracts (2nd cycle) — Alfredo Maffi
- Testing automatico per una implementazione dello standard OpenGL (2nd cycle) — Edoardo Antonini
- Coordination as a Web Service: una moderna implementazione del modello Linda (1st cycle) — Lorenzo Rizzato
- Multi-sensing Data Fusion: Target tracking via particle filtering (2nd cycle) — Alessandro Contro
- Blockchain: modello generale e tassonomia delle componenti chiave (2nd cycle) — Alex Collini
- La programmazione logica per l'Internet of Things: il caso di studio del frigorifero intelligente (1st cycle) — Nicola Atti
0000-0002-1841-8996