Isabelle Kuhlmann, Carl Corea, John Grant. Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP. In Jochen De Weerdt, Luise Pufahl, editors, Business Process Management Workshops - BPM 2023 International Workshops, Utrecht, The Netherlands, September 11-15, 2023, Revised Selected Papers. Volume 492 of Lecture Notes in Business Information Processing, pages 396-408, Springer, 2023. [doi]
Abstract is missing.