Antonio De Nicola 0001, Anna Formica, Ida Mele, Michele Missikoff, Francesco Taglino. Towards a Formal Approach to a Knowledge Base Supporting Business Process Analysis. In Diego Calvanese, Claudia Diamantini, Guglielmo Faggioli, Nicola Ferro 0001, Stefano Marchesin 0001, Gianmaria Silvello, Letizia Tanca, editors, Proceedings of the 31st Symposium of Advanced Database Systems, Galzingano Terme, Italy, July 2nd to 5th, 2023. Volume 3478 of CEUR Workshop Proceedings, pages 192-199, CEUR-WS.org, 2023. [doi]
Abstract is missing.