co-supervisor : Enrico Denti
14
theses
Symbolic Knowledge Injection & Extraction for Autonomous Learning (09/06/2026) — Matteo Magnini 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 Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (22/07/2020) — Ilaria Crivellari Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (24/07/2017) — Alberto Sita Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (13/05/2016) — Stefano Mariani Coordinazione situata per la domotica: Butlers in TuCSoN (10/12/2015) — Attilio Pometto Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN (19/03/2015) — Marco Fiorini Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA (28/03/2012) — Alan Foligatti Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices (21/07/2011) — Antonio Pedone Graph&SODA: A Graphical Tool for SODA (24/03/2010) — Luca Staccoli Scripting in Java 6: esperimenti in tuProlog (25/06/2009) — Andrea Del Bene Meta-models, environment and layers: agent-oriented engineering of complex systems (07/04/2008) — Ambra Molesini Full-Fledged Generics for Object-Oriented Programming Languages (14/03/2003) — Mirko Viroli