Per Status
Per Status
Theses / Roberta Calegari (supervisor)
- Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (2nd cycle, 21/07/2021) — Jason Dellaluce
- Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt (2nd cycle, 04/02/2021) — Matteo Castiglio
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (1st cycle, 22/07/2020) — Riccardo Varotto
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (1st cycle, 22/07/2020) — Andrea Dipietro
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (1st cycle, 22/07/2020) — Ilaria Crivellari
(5 theses / Roberta Calegari as supervisor) |