{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,3]],"date-time":"2026-05-03T02:25:37Z","timestamp":1777775137220,"version":"3.51.4"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031509735","type":"print"},{"value":"9783031509742","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-50974-2_30","type":"book-chapter","created":{"date-parts":[[2024,1,10]],"date-time":"2024-01-10T10:03:27Z","timestamp":1704881007000},"page":"396-408","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9636-122X","authenticated-orcid":false,"given":"Isabelle","family":"Kuhlmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6420-1272","authenticated-orcid":false,"given":"Carl","family":"Corea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7503-7703","authenticated-orcid":false,"given":"John","family":"Grant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,1,11]]},"reference":[{"key":"30_CR1","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.: Process mining: a 360 degree overview. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. LNBIP, vol. 448, pp. 3\u201334. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3_1","DOI":"10.1007\/978-3-031-08848-3_1"},{"key":"30_CR2","doi-asserted-by":"publisher","unstructured":"Carmona, J., van Dongen, B., Weidlich, M.: Conformance checking: foundations, milestones and challenges. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. LNBIP, vol. 448, pp. 155\u2013190. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3_5","DOI":"10.1007\/978-3-031-08848-3_5"},{"key":"30_CR3","doi-asserted-by":"crossref","unstructured":"Chiariello, F., Maggi, F.M., Patrizi, F.: Asp-based declarative process mining. In: Proceedings of the AAAI Conference on Artificial Intelligence, pp. 5539\u20135547 (2022)","DOI":"10.1609\/aaai.v36i5.20493"},{"key":"30_CR4","doi-asserted-by":"publisher","unstructured":"Di Ciccio, C., Montali, M.: Declarative process specifications: reasoning, discovery, monitoring. In: van der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook. LNBIP, vol. 448, pp. 108\u2013152. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3_4","DOI":"10.1007\/978-3-031-08848-3_4"},{"key":"30_CR5","doi-asserted-by":"crossref","unstructured":"Di Ciccio, C., Maggi, F.M., Montali, M., Mendling, J.: Resolving inconsistencies and redundancies in decl. process models. Inf. Syst. 64, 425\u2013446 (2017)","DOI":"10.1016\/j.is.2016.09.005"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., Van der Aalst, W.M.: Declare: full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), p. 287. IEEE (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"30_CR7","doi-asserted-by":"publisher","unstructured":"Corea, C., Grant, J., Thimm, M.: Measuring inconsistency in declarative process specifications. In: Di Ciccio, C., Dijkman, R., del Rio Ortega, A., Rinderle-Ma, S. (eds.) Business Process Management. BPM 2022. LNCS, vol. 13420, pp. 289\u2013306. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-16103-2_20","DOI":"10.1007\/978-3-031-16103-2_20"},{"key":"30_CR8","unstructured":"Giacomo, G.D., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the 23rd IJCAI, pp. 854\u2013860, Beijing, AAAI (2013)"},{"key":"30_CR9","unstructured":"Westergaard, M., Stahl, C., Reijers, H.A.: Unconstrainedminer: efficient discovery of generalized declarative process models. BPM Center Rep. 207, 28 (2013)"},{"key":"30_CR10","doi-asserted-by":"crossref","unstructured":"Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. In: Proceedings of the 11th International Conference on Subject-Oriented Business Process Management, pp. 1\u201310 (2019)","DOI":"10.1145\/3329007.3329014"},{"key":"30_CR11","doi-asserted-by":"crossref","unstructured":"Burattin, A., Maggi, F.M., van der Aalst, W.M., Sperduti, A.: Techniques for a posteriori analysis of declarative processes. In: 2012 IEEE 16th International Enterprise Distributed Object Computing Conference, pp. 41\u201350. IEEE (2012)","DOI":"10.1109\/EDOC.2012.15"},{"key":"30_CR12","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/j.eswa.2016.08.040","volume":"65","author":"A Burattin","year":"2016","unstructured":"Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on MP declarative process models. Expert Syst. Appl. 65, 194\u2013211 (2016)","journal-title":"Expert Syst. Appl."},{"key":"30_CR13","unstructured":"Donadello, I., Riva, F., Maggi, F.M., Shikhizada, A.: Declare4py: a python library for declarative process mining. BPM\u201922 Demo Track 3216, 117\u2013121 (2022). https:\/\/github.com\/francxx96\/declare4py"},{"key":"30_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-32885-5_6","volume-title":"Business Process Management","author":"M de Leoni","year":"2012","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: Aligning event logs and declarative process models for conformance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 82\u201397. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32885-5_6"},{"key":"30_CR15","doi-asserted-by":"crossref","unstructured":"van Dongen, B.F., De Smedt, J., Di Ciccio, C., Mendling, J.: Conformance checking of mixed-paradigm process models. Inf. Syst. 102, 101685 (2021). https:\/\/www.sciencedirect.com\/science\/article\/pii\/S0306437920301344","DOI":"10.1016\/j.is.2020.101685"},{"key":"30_CR16","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., Aalst, W.M.V.D., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. ACM Trans. Web (TWEB) 4(1), 1\u201362 (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"30_CR17","unstructured":"Ielo, A., Ricca, F., Pontieri, L.: Declarative mining of business processes via ASP. In: Workshop on Process Management in the AI Era (PMAI 2022) co-located with IJCAI-ECAI \u201922, Wien, Austria, pp. 105\u2013108. CEUR-WS.org (2022)"},{"key":"30_CR18","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Maggi, F.M., Marrella, A., Patrizi, F.: On the disruptive effectiveness of automated planning for LTL$$f$$-based trace alignment. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol. 31 (2017)","DOI":"10.1609\/aaai.v31i1.11020"},{"issue":"12","key":"30_CR19","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczynski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"30_CR20","doi-asserted-by":"publisher","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Schaub, T.: Answer Set Solving in Practice. In: Synthesis Lectures on AI and Machine Learning, vol. 6, no. 3, pp. 1\u2013238 (2012). https:\/\/doi.org\/10.1007\/978-3-031-01561-8","DOI":"10.1007\/978-3-031-01561-8"},{"key":"30_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/978-3-030-58449-8_23","volume-title":"Scalable Uncertainty Management","author":"I Kuhlmann","year":"2020","unstructured":"Kuhlmann, I., Thimm, M.: An algorithm for the contension inconsistency measure using reductions to answer set programming. In: Davis, J., Tabia, K. (eds.) SUM 2020. LNCS (LNAI), vol. 12322, pp. 289\u2013296. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58449-8_23"},{"key":"30_CR22","unstructured":"Kuhlmann, I., Thimm, M.: Algorithms for inconsistency measurement using answer set programming. In: NMR 2021, pp. 159\u2013168 (2021)"},{"key":"30_CR23","doi-asserted-by":"publisher","unstructured":"Kuhlmann, I., Gessler, A., Laszlo, V., Thimm, M.: A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure. In: Dupin de Saint-Cyr, F., Ozturk-Escoffier, M., Potyka, N. (eds.) Scalable Uncertainty Management. SUM 2022. LNCS, vol. 13562, pp. 139\u2013153. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-18843-5_10","DOI":"10.1007\/978-3-031-18843-5_10"},{"key":"30_CR24","doi-asserted-by":"crossref","unstructured":"Reiter, R.: A logic for default reasoning (1980)","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"30_CR25","unstructured":"Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Wanko, P.: Theory solving made easy with Clingo 5. In: Technical Communications of ICLP, pp. 2:1\u20132:15. OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2016)"},{"key":"30_CR26","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the ICLP\/SLP, pp. 1070\u20131080, MIT Press (1988)"},{"key":"30_CR27","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-030-20618-5_4","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"M K\u00e4ppel","year":"2019","unstructured":"K\u00e4ppel, M., Sch\u00fctzenmeier, N., Sch\u00f6nig, S., Ackermann, L., Jablonski, S.: Logic based look-ahead for the execution of multi-perspective declarative processes. In: Reinhartz-Berger, I., Zdravkovic, J., Gulden, J., Schmidt, R. (eds.) BPMDS\/EMMSAD -2019. LNBIP, vol. 352, pp. 53\u201368. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-20618-5_4"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-50974-2_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T18:01:45Z","timestamp":1777485705000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-50974-2_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031509735","9783031509742"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-50974-2_30","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"11 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Utrecht","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2023.sites.uu.nl\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}