Baiardi, Martina (2023) JACOP: Programming BDI Agents with Pluggable Concurrency Model. [Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria e scienze informatiche [LM-DM270] - Cesena
Boezio, Giuseppe (2023) Extending the 2P-Kt ecosystem: CLP and Labelled LP. [Laurea magistrale], Università di Bologna, Corso di Studio in Artificial intelligence [LM-DM270]
Osimani, Lorenzo (2023) Bridging logic programming with platform-independent distributed services. [Laurea magistrale], Università di Bologna, Corso di Studio in Ingegneria e scienze informatiche [LM-DM270] - Cesena