Per anno e livello
Per anno e livello
Tesi / 2020 / Roberta Calegari
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (completata, 22/07/2020) — Riccardo Varotto
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (completata, 22/07/2020) — Ilaria Crivellari
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (completata, 22/07/2020) — Andrea Dipietro
- AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (completata, 19/03/2020) — Giuseppe Pisano
| (4 tesi nel 2020) |
0000-0003-3794-2942