Dissertation topics suggested by the teacher.
Recent dissertations supervised by the teacher.
First cycle degree programmes dissertations
- Logic Based Smart Contract: stato dell’arte e progetto di una suite di test in Tenderfone
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt
- Progettazione e sviluppo di una suite di test per il Prolog standard via 2P-Kt
- Progetto e implementazione dell'interfaccia utente per la piattaforma tuProlog
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-kotlin
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML
- tuProlog playground: progetto e implementazione di un’applicazione Web basata su 2P-Kt
Second cycle degree programmes dissertations
- Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study
- Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt
