Per ruolo
14
tesi
/
correlatore
/
Enrico Denti
- Symbolic Knowledge Injection & Extraction for Autonomous Learning (dottorato) — Matteo Magnini
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (laurea) — Andrea Dipietro
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (laurea) — Riccardo Varotto
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (laurea) — Ilaria Crivellari
- Agenti, programmazione logica e sistemi distribuiti: esperimenti in JADE e tuProlog (laurea magistrale) — Alberto Sita
- Coordination Issues in Complex Socio-Technical Systems: Self-Organisation of Knowledge in MoK (dottorato) — Stefano Mariani
- Coordinazione situata per la domotica: Butlers in TuCSoN (laurea) — Attilio Pometto
- Tool a supporto della programmazione multi-piattaforma: il caso di RoboVM e iTuCSoN (laurea) — Marco Fiorini
- Check&SODA: Analisi e sviluppo di uno strumento di verifica di consistenza a supporto della metodologia SODA (laurea) — Alan Foligatti
- Mobile TuCSoN: theoretical and technological requirements for TuCSoN's porting over Android mobile devices (laurea magistrale) — Antonio Pedone
- Graph&SODA: A Graphical Tool for SODA (laurea) — Luca Staccoli
- Scripting in Java 6: esperimenti in tuProlog (laurea magistrale) — Andrea Del Bene
- Meta-models, environment and layers: agent-oriented engineering of complex systems (dottorato) — Ambra Molesini
- Full-Fledged Generics for Object-Oriented Programming Languages (dottorato) — Mirko Viroli
0000-0003-1687-8793