Per Role
6
completed theses
/
supervisor
/
Roberta Calegari
- Extending the 2P-Kt ecosystem: CLP and Labelled LP (2nd cycle) — Giuseppe Boezio
- Enhancing Symbolic AI Ecosystems with Probabilistic Logic Programming: a Kotlin Multi-Platform Case Study (2nd cycle) — Jason Dellaluce
- Integrazione tra Programmazione Logica e Reti Neurali: esperimenti in 2p-Kt (2nd cycle) — Matteo Castiglio
- Progettazione e implementazione di un'interfaccia Android per il motore Prolog 2P-Kt (1st cycle) — Andrea Dipietro
- Serializzazione di termini logici: progetto e sviluppo in tuProlog, JSON e YAML (1st cycle) — Riccardo Varotto
- Progetto e sviluppo di un modulo per la persistenza di clausole logiche: esperimenti in tuProlog-Kotlin (1st cycle) — Ilaria Crivellari
0000-0003-3794-2942— Products
2P
LPaaS
Arg-tuProlog
— Events
WOA 2021
— Projects
CompuLaw
— Associations
AIxIA
— Courses
Foundations of Informatics T-2
Multi-agent Systems (module 2)
Sem. Coding for Lawyers