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 Magistrale
- Extending the 2P-Kt ecosystem: CLP and Labelled LP
- Fighting child marriage in developing countries: design and development of a mobile application
- Verbal Explanations of Spatio-Temporal Graph Neural Networks for Traffic Forecasting
