Per anno
3
tesi
/
2023
/
Giovanni Ciatto
- An Abductive Platform for Salient Neurons Identification (laurea magistrale) — Christian D'Errico
- JACOP: Programming BDI Agents with Pluggable Concurrency Model (laurea magistrale) — Martina Baiardi
- Extending the 2P-Kt ecosystem: CLP and Labelled LP (laurea magistrale) — Giuseppe Boezio