{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:33Z","timestamp":1774915533798,"version":"3.50.1"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T00:00:00Z","timestamp":1759881600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T00:00:00Z","timestamp":1759881600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100021856","name":"Ministero dell\u2019Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["Prot. 2020FNEB27"],"award-info":[{"award-number":["Prot. 2020FNEB27"]}],"id":[{"id":"10.13039\/501100021856","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2025,12]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>The PINPOINT project rose from the need to combine process intelligence and domain knowledge, with logic-based formalisms allowing for effective interpretability and explainability. This project report summarises the main contributions made by the research units during the three-year period, and the next steps.<\/jats:p>","DOI":"10.1007\/s13218-025-00897-6","type":"journal-article","created":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T07:58:00Z","timestamp":1759910280000},"page":"311-316","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Explainable Knowledge-Aware Process Intelligence"],"prefix":"10.1007","volume":"39","author":[{"given":"Eva","family":"Piccirilli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Di Ciccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2693-5790","authenticated-orcid":false,"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luigi","family":"Pontieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Ricca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,10,8]]},"reference":[{"key":"897_CR1","doi-asserted-by":"publisher","first-page":"102033","DOI":"10.1016\/J.IS.2022.102033","volume":"109","author":"A Alman","year":"2022","unstructured":"Alman A, Maggi FM, Montali M, Pe\u00f1aloza R (2022) Probabilistic declarative process mining. Inf Syst 109:102033. https:\/\/doi.org\/10.1016\/J.IS.2022.102033","journal-title":"Inf Syst"},{"key":"897_CR2","doi-asserted-by":"publisher","unstructured":"Alman A, Arleo A, Beerepoot I, et\u00a0al. (2023) Tiramis\u00f9: a recipe for visual sensemaking of multi-faceted process information. In: ICPM 2023 workshops. Springer, pp 19\u201331. https:\/\/doi.org\/10.1007\/978-3-031-56107-8_2","DOI":"10.1007\/978-3-031-56107-8_2"},{"key":"897_CR3","doi-asserted-by":"publisher","first-page":"103931","DOI":"10.1016\/J.ARTINT.2023.103931","volume":"320","author":"M Alviano","year":"2023","unstructured":"Alviano M, Dodaro C, Fiorentino S, Previti A, Ricca F (2023) Asp and subset minimality: enumeration, cautious reasoning and muses. AIJ 320:103931. https:\/\/doi.org\/10.1016\/J.ARTINT.2023.103931","journal-title":"AIJ"},{"key":"897_CR4","unstructured":"Andreaoni R, Buliga A, Daniele A, et\u00a0al. (2025) T-ILR: a neurosymbolic integration for LTLf. In: Proceeding on NeSy 2025. Springer, LNCS, to appear"},{"key":"897_CR5","doi-asserted-by":"publisher","unstructured":"Basile D, Di Ciccio C, Goretti V, Kirrane S (2023) A blockchain-driven architecture for usage control in solid. In: Proceedings on ICDCSW 2023. IEEE, pp 19\u201324. https:\/\/doi.org\/10.1109\/ICDCSW60045.2023.00009","DOI":"10.1109\/ICDCSW60045.2023.00009"},{"key":"897_CR6","doi-asserted-by":"publisher","unstructured":"Bayomie D, Revoredo K, Di Ciccio C, Mendling J (2022) Improving accuracy and explainability in event-case correlation via rule mining. In: Proceedings on ICPM 2022. IEEE, pp 24\u201331. https:\/\/doi.org\/10.1109\/ICPM57379.2022.9980684","DOI":"10.1109\/ICPM57379.2022.9980684"},{"key":"897_CR7","doi-asserted-by":"publisher","first-page":"102167","DOI":"10.1016\/j.is.2023.102167","volume":"114","author":"D Bayomie","year":"2023","unstructured":"Bayomie D, Ciccio C, Mendling J (2023) Event-case correlation for process mining using probabilistic optimization. Inf Syst 114:102167. https:\/\/doi.org\/10.1016\/j.is.2023.102167","journal-title":"Inf Syst"},{"key":"897_CR8","unstructured":"Buliga A, Graziosi R, Di Francescomarino C, et\u00a0al. (2024) Nirdizati light: a modular framework for explainable predictive process monitoring. In: Proceedings on BPM 2024 D &R, CEUR-WS.org, vol 3758"},{"key":"897_CR9","doi-asserted-by":"publisher","unstructured":"Buliga A, Di Francescomarino C, Ghidini C, Montali M, Ronzani M (2025) Generating counterfactual explanations under temporal constraints. In: Proceedings on AAAI 2025, vol\u00a039, pp 15622\u201315631. https:\/\/doi.org\/10.1609\/AAAI.V39I15.33715","DOI":"10.1609\/AAAI.V39I15.33715"},{"key":"897_CR10","doi-asserted-by":"crossref","unstructured":"Casas-Ramos J, Winkler S, Gianola A, et\u00a0al. (2025) Efficient conformance checking of rich data-aware declare specifications. In: Proceedings on BPM 2025. Springer, to appear","DOI":"10.1007\/978-3-032-02867-9_7"},{"key":"897_CR11","doi-asserted-by":"publisher","unstructured":"Cecconi A, De Giacomo G, Di Ciccio C, Maggi FM, Mendling J (2021) Measuring the interestingness of temporal logic behavioral specifications in process mining. Inf Sys https:\/\/doi.org\/10.1016\/j.is.2021.101920","DOI":"10.1016\/j.is.2021.101920"},{"key":"897_CR12","doi-asserted-by":"publisher","unstructured":"Cecconi A, Di Ciccio C, Senderovich A (2022) Measurement of rule-based LTLf declarative process specifications. In: Proceedings on ICPM 2022. IEEE, pp 96\u2013103. https:\/\/doi.org\/10.1109\/ICPM57379.2022.9980690","DOI":"10.1109\/ICPM57379.2022.9980690"},{"key":"897_CR13","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2023.102312","volume":"120","author":"A Cecconi","year":"2024","unstructured":"Cecconi A, Barbaro L, Di Ciccio C, Senderovich A (2024) Measuring rule-based LTLf process specifications: a probabilistic data-driven approach. Inf Sys 120:102312. https:\/\/doi.org\/10.1016\/j.is.2023.102312","journal-title":"Inf Sys"},{"key":"897_CR14","doi-asserted-by":"publisher","unstructured":"Chiariello F, Ielo A, Tarzariol A (2024) An ILASP-based approach to repair Petri nets. In: Proceedings on LPNMR 2024. Springer, LNCS, vol 15245, pp 85\u201397. https:\/\/doi.org\/10.1007\/978-3-031-74209-5_7","DOI":"10.1007\/978-3-031-74209-5_7"},{"issue":"1","key":"897_CR15","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1017\/S1471068424000486","volume":"25","author":"F Chiariello","year":"2025","unstructured":"Chiariello F, Fionda V, Ielo A, Ricca F (2025) Direct encoding of declare constraints in asp. TPLP 25(1):92\u2013131. https:\/\/doi.org\/10.1017\/S1471068424000486","journal-title":"TPLP"},{"key":"897_CR16","doi-asserted-by":"publisher","unstructured":"Cuzzocrea A, Folino F, Samami M, Pontieri L, Sabatino P (2025) Towards trustworthy and sustainable clinical decision support by training ensembles of specialized logistic regressors. Neural Comp App https:\/\/doi.org\/10.1007\/s00521-025-11360-w","DOI":"10.1007\/s00521-025-11360-w"},{"key":"897_CR17","doi-asserted-by":"publisher","unstructured":"Di Ciccio C, Montali M (2022) Declarative process specifications: reasoning, discovery, monitoring. In: Process mining handbook. Springer, pp 108\u2013152. https:\/\/doi.org\/10.1007\/978-3-031-08848-3_4","DOI":"10.1007\/978-3-031-08848-3_4"},{"key":"897_CR18","doi-asserted-by":"publisher","unstructured":"Dodaro C, Mazzotta G, Ricca F (2024) Blending grounding and compilation for efficient ASP solving. In: Proceedings on KR 2024. https:\/\/doi.org\/10.24963\/KR.2024\/30","DOI":"10.24963\/KR.2024\/30"},{"issue":"1","key":"897_CR19","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/s44311-025-00020-w","volume":"2","author":"I Donadello","year":"2025","unstructured":"Donadello I, Felli P, Innes C, Maggi FM, Montali M (2025) LTL-based conformance checking of fuzzy event logs. Process Sci 2(1):14. https:\/\/doi.org\/10.1007\/s44311-025-00020-w","journal-title":"Process Sci"},{"issue":"4","key":"897_CR20","doi-asserted-by":"publisher","first-page":"948","DOI":"10.1017\/S1471068423000121","volume":"23","author":"W Faber","year":"2023","unstructured":"Faber W, Mazzotta G, Ricca F (2023) An efficient solver for ASP (Q). TPLP 23(4):948\u2013964. https:\/\/doi.org\/10.1017\/S1471068423000121","journal-title":"TPLP"},{"key":"897_CR21","unstructured":"Faber W, Mazzotta G, Ricca F (2023b) Enhancing ASP(Q) evaluation. In: AI*IA 2023 Disc. Papers, CEUR workshop proceedings, vol 3537, pp 38\u201346"},{"key":"897_CR22","unstructured":"Fahland D, Montali M, Lebherz J, et\u00a0al. (2024) Towards a simple and extensible standard for object-centric event data (OCED). Core model, design space, and lessons learned. CoRR arXiv:2410.14495"},{"key":"897_CR23","unstructured":"Fazzinga B, Flesca S, Furfaro F, Pontieri L, Scala F (2025) Combining abstract argumentation and machine learning for efficiently analyzing low-level process event streams. arXiv:2505.05880"},{"key":"897_CR24","doi-asserted-by":"publisher","first-page":"106895","DOI":"10.1016\/j.engappai.2023.106895","volume":"126","author":"P Felli","year":"2023","unstructured":"Felli P, Gianola A, Montali M, Rivkin A, Winkler S (2023) Multi-perspective conformance checking of uncertain process traces: an SMT-based approach. Eng Appl AI 126:106895. https:\/\/doi.org\/10.1016\/j.engappai.2023.106895","journal-title":"Eng Appl AI"},{"key":"897_CR25","doi-asserted-by":"publisher","unstructured":"Fernandez-Gil O, Patrizi F, Perelli G, Turhan A (2023) Optimal alignment of temporal knowledge bases. In: Proceedings on ECAI 2023, IOS Press, vol 372, pp 708\u2013715. https:\/\/doi.org\/10.3233\/FAIA230335","DOI":"10.3233\/FAIA230335"},{"key":"897_CR26","doi-asserted-by":"publisher","unstructured":"Fionda V, Ielo A, Ricca F (2023) Logic-based composition of business process models. In: Proceedings on KR 2023, pp 272\u2013281. https:\/\/doi.org\/10.24963\/KR.2023\/27","DOI":"10.24963\/KR.2023\/27"},{"key":"897_CR27","doi-asserted-by":"publisher","unstructured":"Fionda V, Ielo A, Ricca F (2025) LTLf2ASP: LTLf bounded satisfiability in ASP. In: Proceedings on LPNMR 2024. Springer, LNCS, vol 15245, pp 373\u2013386. https:\/\/doi.org\/10.1007\/978-3-031-74209-5_28","DOI":"10.1007\/978-3-031-74209-5_28"},{"key":"897_CR28","doi-asserted-by":"publisher","unstructured":"Folino F, Pontieri L, Sabatino P (2023) Sparse mixtures of shallow linear experts for interpretable and fast outcome prediction. In: ICPM 2023 Workshops, LNBIP, vol 503. Springer, https:\/\/doi.org\/10.1007\/978-3-031-56107-8_11","DOI":"10.1007\/978-3-031-56107-8_11"},{"key":"897_CR29","doi-asserted-by":"publisher","first-page":"995","DOI":"10.1007\/s10844-024-00841-4","volume":"62","author":"F Folino","year":"2024","unstructured":"Folino F, Folino G, Guarascio M, Pontieri L (2024) Data- & compute-efficient deviance mining via active learning and fast ensembles. JIIS 62:995\u20131019. https:\/\/doi.org\/10.1007\/s10844-024-00841-4","journal-title":"JIIS"},{"key":"897_CR30","doi-asserted-by":"publisher","first-page":"3675","DOI":"10.1007\/s00500-025-10646-4","volume":"29","author":"F Folino","year":"2025","unstructured":"Folino F, Folino G, Guarascio M, Pontieri L (2025) The force of few: boosting deviance detection in data scarcity scenarios through self-supervised learning and pattern-based encoding. Soft Comput 29:3675\u20133690. https:\/\/doi.org\/10.1007\/s00500-025-10646-4","journal-title":"Soft Comput"},{"key":"897_CR31","doi-asserted-by":"publisher","DOI":"10.1007\/s13218-025-00890-z","author":"A Gianola","year":"2025","unstructured":"Gianola A, Montali M, Winkler SM (2025) Smt techniques for data-aware process mining. KI-K\u00fcnstliche Intell. https:\/\/doi.org\/10.1007\/s13218-025-00890-z","journal-title":"KI-K\u00fcnstliche Intell"},{"key":"897_CR32","unstructured":"Goretti V, Basile D, Barbaro L, Di Ciccio C (2024) CONFINE: Preserving data secrecy in decentralized process mining. In: ICPM 2024 DC &Demos"},{"key":"897_CR33","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/ICPM63005.2024.10680621","volume":"2024","author":"R Graziosi","year":"2024","unstructured":"Graziosi R, Ronzani M, Buliga A et al (2024) Generating the traces you need: a conditional generative model for process mining data. ICPM 2024:25\u201332. https:\/\/doi.org\/10.1109\/ICPM63005.2024.10680621","journal-title":"ICPM"},{"key":"897_CR34","doi-asserted-by":"publisher","unstructured":"Graziosi R, Ronzani M, Buliga A et al (2025) Generating multiperspective process traces using conditional variational autoencoders. Process Sci 2:8. https:\/\/doi.org\/10.1007\/s44311-025-00017-5","DOI":"10.1007\/s44311-025-00017-5"},{"key":"897_CR35","unstructured":"Huitzil I, Mazzotta G, Pe\u00f1aloza R, Ricca F (2023) ASP-based axiom pinpointing for description logics. In: Proceedings on DL 2023, CEUR-WS.org, vol 3515"},{"key":"897_CR36","doi-asserted-by":"publisher","unstructured":"Ielo A, Law M, Fionda V, et\u00a0al. (2023) Towards ILP-based LTLf passive learning. In: Proceedings on ILP\u201923. LNCS, vol 14363. Springer, pp 30\u201345. https:\/\/doi.org\/10.1007\/978-3-031-49299-0_3","DOI":"10.1007\/978-3-031-49299-0_3"},{"key":"897_CR37","unstructured":"Ielo A, Mazzotta G, Ricca F, Pe\u00f1aloza R (2024) Towards ASP-based minimal unsatisfiable cores enumeration for LTLf. In: Short papers OVERLAY 2024, CEUR-WS.org, vol 3904, pp 49\u201355"},{"key":"897_CR38","doi-asserted-by":"publisher","unstructured":"Ko J, Maggi FM, Montali M, Pe\u00f1aloza R, Pereira RF (2023) Plan recognition as probabilistic trace alignment. In: Proceedings on ICPM 2023. IEEE, pp 33\u201340. https:\/\/doi.org\/10.1109\/ICPM60904.2023.10271943","DOI":"10.1109\/ICPM60904.2023.10271943"},{"issue":"2","key":"897_CR39","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3714427","volume":"26","author":"FM Maggi","year":"2025","unstructured":"Maggi FM, Montali M, Pe\u00f1aloza R (2025) Probabilistic temporal reasoning using superposition semantics. ACM Trans Comput Log 26(2):1\u201326. https:\/\/doi.org\/10.1145\/3714427","journal-title":"ACM Trans Comput Log"},{"key":"897_CR40","doi-asserted-by":"publisher","unstructured":"Marangone E, Di Ciccio C, Friolo D, et\u00a0al. (2023) MARTSIA: Enabling data confidentiality for blockchain-based process execution. In: Proceedings EDOC 2023. Springer, pp 58\u201376. https:\/\/doi.org\/10.1007\/978-3-031-46587-1_4","DOI":"10.1007\/978-3-031-46587-1_4"},{"key":"897_CR41","doi-asserted-by":"crossref","unstructured":"Marangone E, Spina M, Di Ciccio C, Weber I (2024) CAKE: Sharing slices of confidential data on blockchain. In: Proceedings on CAiSE Forum, pp 138\u2013147","DOI":"10.1007\/978-3-031-61000-4_16"},{"issue":"4","key":"897_CR42","doi-asserted-by":"publisher","first-page":"716","DOI":"10.1017\/S1471068424000395","volume":"24","author":"G Mazzotta","year":"2024","unstructured":"Mazzotta G, Ricca F, Truszczynski M (2024) Quantifying over optimum answer sets. TPLP 24(4):716\u2013736. https:\/\/doi.org\/10.1017\/S1471068424000395","journal-title":"TPLP"},{"key":"897_CR43","unstructured":"Pe\u00f1aloza R (2023) Semiring provenance in expressive description logics. In: Proceedings on DL 2023, CEUR-WS.org, vol 3515"},{"key":"897_CR44","doi-asserted-by":"publisher","unstructured":"Pe\u00f1aloza R, Ricca F (2022) Pinpointing axioms in ontologies via ASP. In: Proceedings on LPNMR 2022. Springer, LNCS, vol 13416, pp 315\u2013321. https:\/\/doi.org\/10.1007\/978-3-031-15707-3_24","DOI":"10.1007\/978-3-031-15707-3_24"},{"key":"897_CR45","doi-asserted-by":"publisher","unstructured":"Pesic M, Schonenberg H, van\u00a0der Aalst WMP (2007) DECLARE: full support for loosely-structured processes. In: Proceedings on EDOC 2007. IEEE, pp 287\u2013300. https:\/\/doi.org\/10.1109\/EDOC.2007.14","DOI":"10.1109\/EDOC.2007.14"},{"key":"897_CR46","doi-asserted-by":"publisher","first-page":"517","DOI":"10.1613\/jair.1.15313","volume":"80","author":"M Roveri","year":"2024","unstructured":"Roveri M, Ciccio C, Francescomarino C, Ghidini C (2024) Computing unsatisfiable cores for LTLf specifications. JAIR 80:517\u2013558. https:\/\/doi.org\/10.1613\/jair.1.15313","journal-title":"JAIR"},{"key":"897_CR47","doi-asserted-by":"publisher","unstructured":"van der Aalst W (2016) Process mining: data science in action. Springer, Berlin. https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"key":"897_CR48","doi-asserted-by":"publisher","unstructured":"Xiong J, Xiao G, Kalayci TE et al (2022) A virtual knowledge graph based approach for object-centric event logs extraction. In: ICPM WS, Springer LNBIP, vol 468, pp 466\u2013478. https:\/\/doi.org\/10.1007\/978-3-031-27815-0_34","DOI":"10.1007\/978-3-031-27815-0_34"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-025-00897-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s13218-025-00897-6","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-025-00897-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T07:03:58Z","timestamp":1768201438000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s13218-025-00897-6"}},"subtitle":["PINPOINT Final Project Report"],"short-title":[],"issued":{"date-parts":[[2025,10,8]]},"references-count":48,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2025,12]]}},"alternative-id":["897"],"URL":"https:\/\/doi.org\/10.1007\/s13218-025-00897-6","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,8]]},"assertion":[{"value":"4 August 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 September 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 October 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}