Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP

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]

Authors

Isabelle Kuhlmann

This author has not been identified. Look up 'Isabelle Kuhlmann' in Google

Carl Corea

This author has not been identified. Look up 'Carl Corea' in Google

John Grant

This author has not been identified. Look up 'John Grant' in Google