{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T07:49:03Z","timestamp":1770536943109,"version":"3.49.0"},"reference-count":85,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["952026"],"award-info":[{"award-number":["952026"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"name":"TAILOR","award":["952215"],"award-info":[{"award-number":["952215"]}]},{"name":"AI4Europe","award":["101070000"],"award-info":[{"award-number":["101070000"]}]},{"name":"Italian Ministry of University and Research","award":["2020FNEB27"],"award-info":[{"award-number":["2020FNEB27"]}]},{"name":"Italian Ministry of University and Research","award":["CUP H23C22000280006"],"award-info":[{"award-number":["CUP H23C22000280006"]}]},{"name":"Italian Ministry of University and Research","award":["H45E21000210001"],"award-info":[{"award-number":["H45E21000210001"]}]},{"name":"UNIBZ Projects WineID","award":["SMART-APP"],"award-info":[{"award-number":["SMART-APP"]}]},{"name":"ADAPTERS"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Knowl. Data Eng."],"published-print":{"date-parts":[[2023,11,1]]},"DOI":"10.1109\/tkde.2022.3232207","type":"journal-article","created":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T19:29:33Z","timestamp":1672082973000},"page":"11784-11800","source":"Crossref","is-referenced-by-count":4,"title":["Process Discovery on Deviant Traces and Other Stranger Things"],"prefix":"10.1109","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1664-9632","authenticated-orcid":false,"given":"Federico","family":"Chesani","sequence":"first","affiliation":[{"name":"DISI - University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiara Di","family":"Francescomarino","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler, Povo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1563-4965","authenticated-orcid":false,"given":"Chiara","family":"Ghidini","sequence":"additional","affiliation":[{"name":"Fondazione Bruno Kessler, Povo, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6507-7565","authenticated-orcid":false,"given":"Daniela","family":"Loreti","sequence":"additional","affiliation":[{"name":"DISI - University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio Maria","family":"Maggi","sequence":"additional","affiliation":[{"name":"Free University of Bozen\/Bolzano, Bolzano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5929-8193","authenticated-orcid":false,"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"DISI - University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8021-3430","authenticated-orcid":false,"given":"Marco","family":"Montali","sequence":"additional","affiliation":[{"name":"Free University of Bozen\/Bolzano, Bolzano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergio","family":"Tessaris","sequence":"additional","affiliation":[{"name":"Free University of Bozen\/Bolzano, Bolzano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_16"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/1380572.1380578"},{"key":"ref12","first-page":"1305","article-title":"Robust process discovery with artificial negative events","volume":"10","author":"goedertier","year":"2009","journal-title":"J Mach Learn Res"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1007\/11841197_1"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2019.2897311"},{"key":"ref59","first-page":"179","article-title":"Towards the generation of the “perfect” log using abductive logic programming","author":"chesani","year":"2019","journal-title":"Proc 34th Ital Conf Comput Log"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-85469-0_6"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1007\/11837862_18"},{"key":"ref53","first-page":"292","article-title":"Probabilistic logic-based process mining","author":"bellodi","year":"2010","journal-title":"Proc Int Conf Knowl Sci Eng Manage"},{"key":"ref52","first-page":"132","article-title":"Applying inductive logic programming to process mining","author":"lamma","year":"2007","journal-title":"Proc Int Conf Inductive Log Program"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10618-005-0029-z"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60454-5_30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-008-0106-z"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.3233\/IDA-160818"},{"key":"ref17","article-title":"Business process deviance mining: Review and evaluation","author":"nguyen","year":"2016"},{"key":"ref16","article-title":"Constraint-based workflow management systems: Shifting control to users","author":"pesic","year":"2008"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/s00450-009-0057-9"},{"key":"ref18","first-page":"60","article-title":"XES, XESame, and ProM 6","author":"verbeek","year":"2010","journal-title":"Proc Int Conf Adv Inf Syst Eng"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-021-00616-0"},{"key":"ref46","first-page":"1314","article-title":"Interactive process miner: A new approach for process mining","volume":"26","author":"y\u00fcrek","year":"2018","journal-title":"Turkish J Elect Eng Comput Sci"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2018.2841877"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30729-4_23"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38697-8_17"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/356914.356918"},{"key":"ref85","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.11.042"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2017.9"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23063-4_7"},{"key":"ref49","first-page":"60","article-title":"Declarative process discovery with MINERful in ProM","author":"di ciccio","year":"2015","journal-title":"Proc BPM Demo Session Co-Located 13th Int Conf Bus Process Manage"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.3233\/ICA-2003-10205"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2004.47"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_24"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10257-014-0234-7"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03596-9_12"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.ins.2017.09.027"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2013.130"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02976-9_12"},{"key":"ref81","first-page":"76","article-title":"Analysis of the GLARE and GPROVE approaches to clinical guidelines","author":"bottrighi","year":"2009","journal-title":"Proc Int Workshop Knowl Representation Health Care"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31095-9_18"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2017.12.043"},{"key":"ref83","first-page":"200","article-title":"Conformance checking of executed clinical guidelines in presence of basic medical knowledge","author":"bottrighi","year":"2011","journal-title":"Proc Bus Process Manage Workshops"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-51831-8_14"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75183-0_25"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1145\/1281192.1281243"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3301300"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1109\/CIDM.2013.6597225"},{"key":"ref37","article-title":"Sepsis cases - event log","author":"mannhardt","year":"2016"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/SSCI.2015.196"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-56509-4"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38709-8_29"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-019-01372-z"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10172-9_17"},{"key":"ref33","article-title":"BPI challenge 2012","author":"van dongen","year":"2012"},{"key":"ref77","first-page":"87","article-title":"A process deviation analysis - A case study","author":"swinnen","year":"2011","journal-title":"Proc Bus Process Manage Workshops"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2017.12.002"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1145\/2629446"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01862-6_29"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28108-2_19"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/ICPM49681.2020.00027"},{"key":"ref38","article-title":"Road traffic fine management process","author":"de leoni","year":"2015"},{"key":"ref71","first-page":"31","article-title":"Unfolding-based process discovery","author":"rodr\u00edguez","year":"2015","journal-title":"Proc Int Symp Automated Technol Verification Anal"},{"key":"ref70","article-title":"Process mining in flexible environments","author":"g\u00fcnther","year":"2009"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08222-6_4"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843006001463"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068418000054"},{"key":"ref68","first-page":"621","article-title":"Learning interpretable models expressed in linear temporal logic","author":"camacho","year":"2019","journal-title":"Proc 29th Int Conf Automated Plan Scheduling"},{"key":"ref23","article-title":"Code for Negdis experiments","author":"tessaris","year":"2021"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2018.8603016"},{"key":"ref26","first-page":"1594","article-title":"What is answer set programming?","author":"lifschitz","year":"2008","journal-title":"Proc Int Conf Artif Intell"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2016.06.002"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876900"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1658373.1658376"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-016-1002-4"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1145\/2939672.2939787"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2016.09.005"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1002\/sam.11192"},{"key":"ref21","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"de giacomo","year":"2013","journal-title":"Proc 23rd Int Joint Conf Artif Intell"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/354756.354849"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/69.877512"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/69.877512"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(88)90039-6"},{"key":"ref60","first-page":"151","article-title":"Abduction for generating synthetic traces","author":"chesani","year":"2017","journal-title":"Proc Int Conf Bus Process Manage Workshops"},{"key":"ref62","first-page":"403","article-title":"Generating benchmarks by random stepwise refinement of petri nets","author":"van hee","year":"2010","journal-title":"Proc ACSD\/Petri Nets Workshops"},{"key":"ref61","article-title":"SecSy: A security-oriented tool for synthesizing process event logs","author":"stocker","year":"2014","journal-title":"Proc BPM Demo Sessions Co-Located 12th Int Conf Bus Process Manage"}],"container-title":["IEEE Transactions on Knowledge and Data Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/69\/10273671\/09999331.pdf?arnumber=9999331","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T19:29:13Z","timestamp":1698694153000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9999331\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,1]]},"references-count":85,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tkde.2022.3232207","relation":{},"ISSN":["1041-4347","1558-2191","2326-3865"],"issn-type":[{"value":"1041-4347","type":"print"},{"value":"1558-2191","type":"electronic"},{"value":"2326-3865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,1]]}}}