Per Cycle
35
2nd-cycle theses
/
Giovanni Ciatto
- How Models Verify Their Reasoning: Energy, Likelihood, and Reward (16/07/2026) — Marco Pesic
- A Comparative Analysis of Agentic AI Frameworks via an Automatic Quiz Correction Case Study (13/03/2026) — Luca Pasini
- Sviluppo di un sistema distribuito per la predizione dell’osteoartrite del ginocchio (13/03/2026) — Simone Montanari
- Stigmergia cognitiva per il coordinamento emergente di MAS nel caso di studio del traffico urbano (11/12/2025) — Alessandro Pioggia
- FairLib: A Toolkit for Bias Analysis and Mitigation in AI Systems (10/07/2025) — Valerio Di Zio
- Exploiting GenAI for Plan Generation in BDI Agents (10/07/2025) — Riccardo Battistini
- Addressing Fairness in AI Systems: Design and Development of a Pragmatic (Meta-)Methodology (14/03/2025) — Mattia Matteini
- Innovating HR Systems: The Digital Transformation of Trevi Group (18/12/2024) — Santiago Trivelloni
- Decision-Making in Complex Systems Through Simulation Modeling: a Vaccine Supply Chain Case Study (18/12/2024) — Mattia Broglia
- Leveraging AI for Enhanced Decision-Making in Humanitarian and NGOs sectors across Europe, Africa, and Latin America: A Case Study of Propel (18/12/2024) — Barnia Bouikila
- Integrated Development Environments: Exploring the Impact of the Implementation of Artificial Intelligence on Workflow Efficiency and its Potential for Developer Displacement (17/07/2024) — Bruna Moema Dias Bahmed
- Overview, study, and comparison of open source automation tools: Ansible, Salt, Chef, Puppe (15/03/2024) — Alberto Donati
- Fair-by-Design Workflow for Unbiased AI Development and Equitable Outcomes (14/03/2024) — Antonio Iannotta
- An Abductive Platform for Salient Neurons Identification (14/12/2023) — Christian D'Errico
- Bridging Logic Programming with platform-independent distributed services (05/10/2023) — Lorenzo Osimani
- JACOP: Programming BDI Agents with Pluggable Concurrency Model (17/03/2023) — Martina Baiardi
- Extending the 2P-Kt ecosystem: CLP and Labelled LP (03/02/2023) — Giuseppe Boezio
- Model-Based Contrastive Explanations for XAIP: Towards a General Model and Prototype (15/12/2022) — Giulia Brugnatti
- Logic ecosystems meet meta-interpretivative learning: design and experiments on 2p-Kt (27/05/2022) — Luca Nannini
- Extending the 2P-Kt ecosystem with Concurrent Logic Programming support (16/12/2021) — Andrea Giordano
- 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
- Engineering Angle-of-Arrival-based Indoor Localization Systems (26/03/2021) — Shapour Nemati
- Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt (04/02/2021) — Matteo Castiglio
- Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks (17/12/2020) — Federico Sabbatini
- AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (19/03/2020) — Giuseppe Pisano
- 2p-Kt: A Kotlin-based, Multi-Platform Framework for Symbolic AI (12/12/2019) — Enrico Siboni
- Analisi comparata di tecnologie open-source per l'elaborazione di flussi di dati (12/12/2019) — Matteo Minardi
- Simulazione di Agenti BDI basati su Prolog in Alchemist (12/12/2019) — Filippo Nicolini
- Logic-based coordination: a semantic approach to self-composition of services (21/03/2019) — Ashley Caselli
- Blockchain and beyond: proactive logic smart contracts (14/12/2018) — Alfredo Maffi
- Testing automatico per una implementazione dello standard OpenGL (18/10/2018) — Edoardo Antonini
- Multi-sensing Data Fusion: Target tracking via particle filtering (18/10/2018) — Alessandro Contro
- Blockchain: modello generale e tassonomia delle componenti chiave (22/03/2018) — Alex Collini
0000-0002-1841-8996