Claudio Di Ciccio. Automated Reasoning and Data Analytics for Declarative Process Mining. In Fabiana Fournier, Lior Limonad, Massimiliano de Leoni, Antonella Guzzo, Andrea Marrella, Pnina Soffer, editors, Proceedings of the 2nd International Workshop on Process Management in the AI Era (PMAI 2023) co-located with 31st International Joint Conference on Artificial Intelligence (IJCAI 2023), Macao, S.A.R, August 19, 2023. Volume 3569 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]
Abstract is missing.