{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,20]],"date-time":"2026-09-20T21:28:50Z","timestamp":1789939730680,"version":"4.0.1"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031742088","type":"print"},{"value":"9783031742095","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,9]],"date-time":"2024-10-09T00:00:00Z","timestamp":1728432000000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-74209-5_7","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T06:01:44Z","timestamp":1728626504000},"page":"85-97","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["An ILASP-Based Approach to\u00a0Repair Petri Nets"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7855-7480","authenticated-orcid":false,"given":"Francesco","family":"Chiariello","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-9644-7975","authenticated-orcid":false,"given":"Antonio","family":"Ielo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6586-3649","authenticated-orcid":false,"given":"Alice","family":"Tarzariol","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,9]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"539","DOI":"10.1007\/978-3-031-15629-8_29","volume-title":"A Journey from Process Algebra via Timed Automata to Model Learning","author":"WMP van der Aalst","year":"2022","unstructured":"van der Aalst, W.M.P.: Discovering directly-follows complete petri nets from event data. In: Jansen, N., Stoelinga, M., van den Bos, P. (eds.) A Journey from Process Algebra via Timed Automata to Model Learning. Lecture Notes in Computer Science, vol. 13560, pp. 539\u2013558. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15629-8_29"},{"issue":"1","key":"7_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P., Carmona, J. (eds.): Process Mining Handbook. Lecture Notes in Business Information Processing, vol. 448. Springer, Heidelberg (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3","DOI":"10.1007\/978-3-031-08848-3"},{"key":"7_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)","DOI":"10.7551\/mitpress\/8811.001.0001"},{"key":"7_CR5","doi-asserted-by":"publisher","first-page":"102180","DOI":"10.1016\/j.is.2023.102180","volume":"114","author":"S Agostinelli","year":"2023","unstructured":"Agostinelli, S., et al.: Process mining meets model learning: discovering deterministic finite state automata from event logs for business process analysis. Inf. Syst. 114, 102180 (2023)","journal-title":"Inf. Syst."},{"key":"7_CR6","unstructured":"Anwar, S., Baral, C., Inoue, K.: Encoding petri nets in answer set programming for simulation based reasoning. Theory Pract. Log. Program. 13 (2013)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Armas-Cervantes, A., et al.: Incremental and interactive business process model repair in apromore. In: BPM (Demos). CEUR Workshop Proceedings, vol. 1920. CEUR-WS.org (2017)","DOI":"10.1007\/978-3-319-69462-7_5"},{"issue":"12","key":"7_CR8","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":"7_CR9","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1007\/978-3-642-00899-3_16","volume":"2","author":"F Chesani","year":"2009","unstructured":"Chesani, F., et al.: Exploiting inductive logic programming techniques for declarative process mining. Trans. Petri Nets Other Model. Concurr. 2, 278\u2013295 (2009)","journal-title":"Trans. Petri Nets Other Model. Concurr."},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1007\/978-3-031-15707-3_38","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F Chesani","year":"2022","unstructured":"Chesani, F., et al.: Optimising business process discovery using answer set programming. In: Gottlob, G., Inclezan, D., Maratea, M. (eds.) LPNMR 2022. LNCS, vol. 13416, pp. 498\u2013504. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-15707-3_38"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Chiariello, F., Maggi, F.M., Patrizi, F.: ASP-based declarative process mining. In: AAAI, pp. 5539\u20135547. AAAI Press (2022)","DOI":"10.1609\/aaai.v36i5.20493"},{"key":"7_CR12","unstructured":"Chiariello, F., Maggi, F.M., Patrizi, F.: From LTL on process traces to finite-state automata. In: BPM (Demos\/Resources Forum). CEUR Workshop Proceedings, vol. 3469, pp. 127\u2013131. CEUR-WS.org (2023)"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/978-3-031-52038-9_8","volume-title":"Practical Aspects of Declarative Languages","author":"F Chiariello","year":"2023","unstructured":"Chiariello, F., Fionda, V., Ielo, A., Ricca, F.: A direct ASP encoding for declare. In: Gebser, M., Sergey, I. (eds.) PADL 2024. LNCS, vol. 14512, pp. 116\u2013133. Springer, Cham (2023). https:\/\/doi.org\/10.1007\/978-3-031-52038-9_8"},{"issue":"1","key":"7_CR14","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10994-021-06089-1","volume":"111","author":"A Cropper","year":"2022","unstructured":"Cropper, A., et al.: Inductive logic programming at 30. Mach. Learn. 111(1), 147\u2013172 (2022)","journal-title":"Mach. Learn."},{"key":"7_CR15","unstructured":"van Dongen, B.: BPI challenge 2020: domestic declarations (2020)"},{"key":"7_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1007\/11494744_25","volume-title":"Applications and Theory of Petri Nets 2005","author":"BF van Dongen","year":"2005","unstructured":"van Dongen, B.F., de Medeiros, A.K.A., Verbeek, H.M.W., Weijters, A.J.M.M., van der Aalst, W.M.P.: The ProM framework: a new era in process mining tool support. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 444\u2013454. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/11494744_25"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1016\/j.is.2013.12.007","volume":"47","author":"D Fahland","year":"2015","unstructured":"Fahland, D., van der Aalst, W.M.P.: Model repair - aligning process models to reality. Inf. Syst. 47, 220\u2013243 (2015)","journal-title":"Inf. Syst."},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-32885-5_19","volume-title":"Business Process Management","author":"D Fahland","year":"2012","unstructured":"Fahland, D., van der Aalst, W.M.P.: Repairing process models to reflect reality. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 229\u2013245. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32885-5_19"},{"key":"7_CR19","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1613\/jair.1.11256","volume":"63","author":"V Fionda","year":"2018","unstructured":"Fionda, V., Greco, G.: LTL on finite and process traces: complexity results and a practical reasoner. J. Artif. Intell. Res. 63, 557\u2013623 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Gebser, M., et al.: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning. Morgan & Claypool Publishers (2012)","DOI":"10.1007\/978-3-031-01561-8"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-540-78469-2_16","volume-title":"Inductive Logic Programming","author":"E Lamma","year":"2008","unstructured":"Lamma, E., Mello, P., Riguzzi, F., Storari, S.: Applying inductive logic programming to process mining. In: Blockeel, H., Ramon, J., Shavlik, J., Tadepalli, P. (eds.) ILP 2007. LNCS (LNAI), vol. 4894, pp. 132\u2013146. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78469-2_16"},{"issue":"2","key":"7_CR22","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1017\/S1471068422000011","volume":"23","author":"M Law","year":"2023","unstructured":"Law, M.: Conflict-driven inductive logic programming. Theory Pract. Log. Program. 23(2), 387\u2013414 (2023)","journal-title":"Theory Pract. Log. Program."},{"key":"7_CR23","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1016\/j.artint.2018.03.005","volume":"259","author":"M Law","year":"2018","unstructured":"Law, M., Russo, A., Broda, K.: The complexity and generality of learning answer set programs. Artif. Intell. 259, 110\u2013146 (2018)","journal-title":"Artif. Intell."},{"key":"7_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-24658-7","volume-title":"Answer Set Programming","author":"V Lifschitz","year":"2019","unstructured":"Lifschitz, V.: Answer Set Programming. Springer, Heidelberg (2019). https:\/\/doi.org\/10.1007\/978-3-030-24658-7"},{"key":"7_CR25","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-20511-8_16","volume-title":"Business Process Management Workshops","author":"FM Maggi","year":"2011","unstructured":"Maggi, F.M., Corapi, D., Russo, A., Lupu, E., Visaggio, G.: Revising process models through inductive learning. In: zur Muehlen, M., Su, J. (eds.) BPM 2010. LNBIP, vol. 66, pp. 182\u2013193. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20511-8_16"},{"key":"7_CR26","doi-asserted-by":"crossref","unstructured":"Polyvyanyy, A, et al.: Impact-driven process model repair. ACM Trans. Softw. Eng. Methodol. 25(4), 28:1\u201328:60 (2017)","DOI":"10.1145\/2980764"},{"key":"7_CR27","doi-asserted-by":"publisher","first-page":"103612","DOI":"10.1016\/j.compind.2022.103612","volume":"137","author":"D Schuster","year":"2022","unstructured":"Schuster, D., van Zelst, S.J., van der Aalst, W.M.P.: Utilizing domain knowledge in data-driven process discovery: a literature review. Comput. Ind. 137, 103612 (2022)","journal-title":"Comput. Ind."},{"key":"7_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-030-85469-0_6","volume-title":"Business Process Management","author":"T Slaats","year":"2021","unstructured":"Slaats, T., Debois, S., Back, C.O.: Weighing the pros and cons: process discovery with negative examples. In: Polyvyanyy, A., Wynn, M.T., Van Looy, A., Reichert, M. (eds.) BPM 2021. LNCS, vol. 12875, pp. 47\u201364. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-85469-0_6"},{"key":"7_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-59432-2","volume-title":"Business Process Management - Concepts, Languages, Architectures","author":"M Weske","year":"2019","unstructured":"Weske, M.: Business Process Management - Concepts, Languages, Architectures, 3rd edn. Springer, Heidelberg (2019)","edition":"3"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74209-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T17:02:47Z","timestamp":1736614967000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74209-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,9]]},"ISBN":["9783031742088","9783031742095"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74209-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,9]]},"assertion":[{"value":"9 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"LPNMR","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Logic Programming and Nonmonotonic Reasoning","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Dallas, TX","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lpnmr2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lpnmr2024.demacs.unical.it","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}