Foto del docente

Roberta Calegari

Junior assistant professor (fixed-term)

Department of Legal Studies

Academic discipline: ING-INF/05 Information Processing Systems

Teaching

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