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