Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (1st cycle, 22/07/2020) — Ilaria Crivellari
 Progettazione e implementazione  di un'interfaccia Android  per il motore Prolog 2P-Kt (1st cycle, 22/07/2020) — Andrea Dipietro
 Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (1st cycle, 22/07/2020) — Riccardo Varotto
 Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (2nd cycle, 24/07/2017) — Alberto Sita
 Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (3rd cycle, 13/05/2016) — Stefano Mariani
 Coordinazione situata per la domotica: Butlers in TuCSoN (1st cycle, 10/12/2015) — Attilio Pometto
 Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN (1st cycle, 19/03/2015) — Marco Fiorini
 Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA (1st cycle, 28/03/2012) — Alan Foligatti
 Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices (2nd cycle, 21/07/2011) — Antonio Pedone
 Graph&SODA: A Graphical Tool for SODA (1st cycle, 24/03/2010) — Luca Staccoli
 Scripting in Java 6: esperimenti in tuProlog (2nd cycle, 25/06/2009) — Andrea Del Bene
 Meta-models, environment and layers: agent-oriented engineering of complex systems (3rd cycle, 07/04/2008) — Ambra Molesini

[  co-supervisor cloud  /  theses  ]