Per anno
5
tesi
/
2020
/
Giovanni Ciatto
- Interpretable Prediction of Galactic Cosmic-Ray Short-Term Variations with Artificial Neural Networks (laurea magistrale) — Federico Sabbatini
- 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
- AI simbolica e sub-simbolica per XAI: stato dell'arte ed esperimenti con reti neurali e vincoli logici (laurea magistrale) — XWiki.GiuseppePisano3