Argomenti di tesi proposti dal docente.
LPaaS (Logic Programming as a Service http://apice.unibo.it/xwiki/bin/view/LPaaS/WebHome )
TITLE 1: Completely rewriting the current Java EE based source code [https://gitlab.com/pika-lab/lpaas/lpaas-ws] using Vert.x or some other lightweight, micro-service oriented library or framework. The novel implementation should include at least:
- an improved modularization of the Knowledge-Base Layer
- a suite of fine grained unit tests
Notice that the novel implementation should anyway adhere to the LPaaS Swagger Specification [https://app.swaggerhub.com/apis/PIKA-lab/LPaaS/1]
TITLE 2: Designing and implementing an observability module for LPaaS enabling the implementation of a Web-based graphical interface
TITLE 3: Designing and implementing a client-side interface for LPaaS supporting one of the follwing platforms:
- .NET (C#, F#, VbNET <-- please don't)
- Python
(notice that these are actually different projects)
Furthermore, we are also interested in students designing and developing an unbiased and non-trivial usage scenario for LPaaS. You can propose some.
Ultime tesi seguite dal docente
Tesi di Laurea
- 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
Tesi di Laurea Magistrale
- 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