{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T23:35:25Z","timestamp":1776900925434,"version":"3.51.2"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032167071","type":"print"},{"value":"9783032167088","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-16708-8_14","type":"book-chapter","created":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T22:38:25Z","timestamp":1776897505000},"page":"152-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["LLM-Assisted Conformance Checking for\u00a0Medical Processes"],"prefix":"10.1007","author":[{"given":"Giorgio","family":"Leonardi","sequence":"first","affiliation":[]},{"given":"Stefania","family":"Montani","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Striani","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2026,4,1]]},"reference":[{"key":"14_CR1","unstructured":"National clinical guideline for stroke for the UK and Ireland. London: Intercollegiate stroke working party. https:\/\/www.strokeguideline.org, Accessed 08 Apr 2025"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., et al.: Process mining: a two-step approach to balance between underfitting and overfitting. Softw. Syst. Model. 9(1), 87\u2013111 (2010)","DOI":"10.1007\/s10270-008-0106-z"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: Process Mining - Data Science in Action. 2nd edn. Springer (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes - A Petri Net-Oriented Approach. Cooperative Information Systems series, MIT Press (2011). http:\/\/mitpress.mit.edu\/books\/modeling-business-processes","DOI":"10.7551\/mitpress\/8811.001.0001"},{"key":"14_CR5","doi-asserted-by":"publisher","unstructured":"Adriansyah, A., et al.: Alignment based precision checking. In: Rosa, M.L., Soffer, P. (eds.) Business Process Management Workshops - BPM 2012 International Workshops, Tallinn, Estonia, September 3, 2012. Revised Papers. Lecture Notes in Business Information Processing, vol. 132, pp. 137\u2013149. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-36285-9_15","DOI":"10.1007\/978-3-642-36285-9_15"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Berti, A., Kourani, H., Hafke, H., Li, C.Y., Schuster, D.: Evaluating large language models in process mining: capabilities, benchmarks, and evaluation strategies (2024)","DOI":"10.1007\/978-3-031-61007-3_2"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Berti, A., Schuster, D., van der Aalst, W.M.P.: Abstractions, scenarios, and prompt definitions for process mining with LLMs: a case study. In: Weerdt, J.D., Pufahl, L. (eds.) Business Process Management Workshops - BPM 2023 International Workshops, Utrecht, The Netherlands, September 11\u201315, 2023, Revised Selected Papers. Lecture Notes in Business Information Processing, vol. 492, pp. 427\u2013439. Springer (2023). https:\/\/doi.org\/10.1007\/978-3-031-50974-2_32","DOI":"10.1007\/978-3-031-50974-2_32"},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Berti, A., van Zelst, S., Schuster, D.: Pm4py: A process mining library for python. Software Impacts 17, 100556 (2023). https:\/\/doi.org\/10.1016\/j.simpa.2023.100556, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2665963823000933","DOI":"10.1016\/j.simpa.2023.100556"},{"issue":"11","key":"14_CR9","doi-asserted-by":"publisher","first-page":"5340","DOI":"10.1016\/J.ESWA.2014.03.010","volume":"41","author":"D Borrego","year":"2014","unstructured":"Borrego, D., Barba, I.: Conformance checking and diagnosis for declarative business process models in data-aware scenarios. Expert Syst. Appl. 41(11), 5340\u20135352 (2014). https:\/\/doi.org\/10.1016\/J.ESWA.2014.03.010","journal-title":"Expert Syst. Appl."},{"key":"14_CR10","doi-asserted-by":"publisher","unstructured":"Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: On the role of fitness, precision, generalization and simplicity in process discovery. In: Meersman, R., et al. (eds.) On the Move to Meaningful Internet Systems: OTM 2012, Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, September 10\u201314, 2012. Proceedings, Part I, Lecture Notes in Computer Science, vol. 7565, pp. 305\u2013322. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-33606-5_19","DOI":"10.1007\/978-3-642-33606-5_19"},{"key":"14_CR11","doi-asserted-by":"publisher","unstructured":"de Clercq, P.A., Kaiser, K., Hasman, A.: Computer-interpretable guideline formalisms. In: ten Teije, A., Miksch, S., Lucas, P.J.F. (eds.) Computer-based Medical Guidelines and Protocols: A Primer and Current Trends, Studies in Health Technology and Informatics, vol. 139, pp. 22\u201343. IOS Press (2008). https:\/\/doi.org\/10.3233\/978-1-58603-873-1-22","DOI":"10.3233\/978-1-58603-873-1-22"},{"key":"14_CR12","doi-asserted-by":"publisher","unstructured":"Desel, J., Reisig, W., Rozenberg, G. (eds.): Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichst\u00e4tt, Germany in September 2003. In addition to lectures given at ACPN 2003, additional chapters have been commissioned], Lecture Notes in Computer Science, vol. 3098. Springer (2004). https:\/\/doi.org\/10.1007\/B98282","DOI":"10.1007\/B98282"},{"key":"14_CR13","doi-asserted-by":"publisher","unstructured":"Devlin, J., Chang, M.W., Lee, K., Toutanova, K.: BERT: Pre-training of deep bidirectional transformers for language understanding. In: Burstein, J., Doran, C., Solorio, T. (eds.) Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers), pp. 4171\u20134186. Association for Computational Linguistics, Minneapolis, Minnesota (2019). https:\/\/doi.org\/10.18653\/v1\/N19-1423, https:\/\/aclanthology.org\/N19-1423","DOI":"10.18653\/v1\/N19-1423"},{"key":"14_CR14","doi-asserted-by":"publisher","unstructured":"Dunzer, S., Stierle, M., Matzner, M., Baier, S.: Conformance checking: a state-of-the-art literature review. In: Betz, S. (ed.) Proceedings of the 11th International Conference on Subject-Oriented Business Process Management, S-BPM ONE 2019, Seville, Spain, June 26\u201328, 2019, pp. 4:1\u20134:10. ACM (2019). https:\/\/doi.org\/10.1145\/3329007.3329014","DOI":"10.1145\/3329007.3329014"},{"issue":"3","key":"14_CR15","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1023\/A:1014746130920","volume":"20","author":"J Esparza","year":"2002","unstructured":"Esparza, J., R\u00f6mer, S., Vogler, W.: An improvement of McMillan\u2019s unfolding algorithm. Formal Methods Syst. Des. 20(3), 285\u2013310 (2002). https:\/\/doi.org\/10.1023\/A:1014746130920","journal-title":"Formal Methods Syst. Des."},{"key":"14_CR16","unstructured":"Ghawi, R.: Process discovery using inductive miner and decomposition. CoRR abs\/1610.07989 (2016). http:\/\/arxiv.org\/abs\/1610.07989"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Grohs, M., Abb, L., Elsayed, N., Rehse, J.R.: Large language models can accomplish business process management tasks (2023)","DOI":"10.1007\/978-3-031-50974-2_34"},{"key":"14_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/B95112","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer (2009). https:\/\/doi.org\/10.1007\/B95112","journal-title":"Springer"},{"key":"14_CR19","unstructured":"Jessen, U., Sroka, M., Fahland, D.: Chit-chat or deep talk: Prompt engineering for process mining (2023)"},{"issue":"3","key":"14_CR20","doi-asserted-by":"publisher","first-page":"3713","DOI":"10.1007\/S11042-022-13428-4","volume":"82","author":"D Khurana","year":"2023","unstructured":"Khurana, D., Koli, A., Khatter, K., Singh, S.: Natural language processing: state of the art, current trends and challenges. Multim. Tools Appl. 82(3), 3713\u20133744 (2023). https:\/\/doi.org\/10.1007\/S11042-022-13428-4","journal-title":"Multim. Tools Appl."},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Kourani, H., et al.: Leveraging large language models for enhanced process model comprehension (2024), https:\/\/arxiv.org\/abs\/2408.08892","DOI":"10.2139\/ssrn.5017379"},{"key":"14_CR22","unstructured":"Kourani, H., Berti, A., Schuster, D., van der Aalst, W.M.: PromoAI: Process modeling with generative AI. In: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence Organization (2024)"},{"key":"14_CR23","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1007\/S10270-016-0545-X","volume":"17","author":"SJJ Leemans","year":"2018","unstructured":"Leemans, S.J.J., Fahland, D., van der Aalst, W.M.P.: Scalable process discovery and conformance checking. 17, 599\u2013631 (2018). https:\/\/doi.org\/10.1007\/S10270-016-0545-X","journal-title":"Scalable process discovery and conformance checking."},{"key":"14_CR24","unstructured":"OpenAI: Introducing GPT-5 (2025). https:\/\/openai.com\/index\/introducing-gpt-5\/, Accessed 18 Aug 2025"},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-030-33246-4_11","volume-title":"On the Move to Meaningful Internet Systems: OTM 2019 Conferences","author":"MS Qafari","year":"2019","unstructured":"Qafari, M.S., van der Aalst, W.: Fairness-aware process mining. In: Panetto, H., Debruyne, C., Hepp, M., Lewis, D., Ardagna, C.A., Meersman, R. (eds.) On the Move to Meaningful Internet Systems: OTM 2019 Conferences, pp. 182\u2013192. Springer International Publishing, Cham (2019)"},{"key":"14_CR26","doi-asserted-by":"publisher","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods, Technologies. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-30409-5","DOI":"10.1007\/978-3-642-30409-5"},{"key":"14_CR27","doi-asserted-by":"publisher","unstructured":"Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, Lecture Notes in Computer Science, vol. 1491. Springer (1998). https:\/\/doi.org\/10.1007\/3-540-65306-6","DOI":"10.1007\/3-540-65306-6"},{"key":"14_CR28","doi-asserted-by":"publisher","unstructured":"Rojas, E., Munoz-Gama, J., Sep\u00falveda, M., Capurro, D.: Process mining in healthcare: a literature review. J. Biomed. Inform. 61, 224\u2013236 (2016). https:\/\/doi.org\/10.1016\/j.jbi.2016.04.007, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1532046416300296","DOI":"10.1016\/j.jbi.2016.04.007"},{"issue":"1","key":"14_CR29","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/J.IS.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008). https:\/\/doi.org\/10.1016\/J.IS.2007.07.001","journal-title":"Inf. Syst."},{"key":"14_CR30","unstructured":"Weijters, A.J., van Der Aalst, W.M., De Medeiros, A.A.: Process mining with the HeuristicsMiner algorithm. Technische Universiteit Eindhoven (2006)"},{"key":"14_CR31","unstructured":"Yang, L., et al.: Advancing multimodal medical capabilities of Gemini (2024). https:\/\/arxiv.org\/abs\/2405.03162"}],"container-title":["Communications in Computer and Information Science","Artificial Intelligence for Healthcare, and Hybrid Models for Coupling Deductive and Inductive Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-16708-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,22]],"date-time":"2026-04-22T22:38:28Z","timestamp":1776897508000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-16708-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032167071","9783032167088"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-16708-8_14","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"1 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HC_AIxIA_HYDRA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Joint Workshop on Artificial Intelligence for Healthcare, and Hybrid Models for Coupling Deductive and Inductive Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bologna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hc_aixia_hydra2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sites.google.com\/unical.it\/hcaixia-hydra-2025\/home","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}