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]
@inproceedings{KuhlmannCG23-0, title = {Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP}, author = {Isabelle Kuhlmann and Carl Corea and John Grant}, year = {2023}, doi = {10.1007/978-3-031-50974-2_30}, url = {https://doi.org/10.1007/978-3-031-50974-2_30}, researchr = {https://researchr.org/publication/KuhlmannCG23-0}, cites = {0}, citedby = {0}, pages = {396-408}, booktitle = {Business Process Management Workshops - BPM 2023 International Workshops, Utrecht, The Netherlands, September 11-15, 2023, Revised Selected Papers}, editor = {Jochen De Weerdt and Luise Pufahl}, volume = {492}, series = {Lecture Notes in Business Information Processing}, publisher = {Springer}, isbn = {978-3-031-50974-2}, }