{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T16:08:17Z","timestamp":1768493297518,"version":"3.49.0"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031806063","type":"print"},{"value":"9783031806070","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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-80607-0_25","type":"book-chapter","created":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T16:35:05Z","timestamp":1735662905000},"page":"330-345","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Traces in\u00a0Declarative Process Mining"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-4350-8151","authenticated-orcid":false,"given":"Michela","family":"Vespa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3717-3779","authenticated-orcid":false,"given":"Elena","family":"Bellodi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1664-9632","authenticated-orcid":false,"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6507-7565","authenticated-orcid":false,"given":"Daniela","family":"Loreti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5929-8193","authenticated-orcid":false,"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2747-4292","authenticated-orcid":false,"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9314-1958","authenticated-orcid":false,"given":"Anna","family":"Ciampolini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7433-5899","authenticated-orcid":false,"given":"Marco","family":"Gavanelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8352-6304","authenticated-orcid":false,"given":"Riccardo","family":"Zese","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,1,1]]},"reference":[{"key":"25_CR1","doi-asserted-by":"publisher","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Log. 9(4), 29:1\u201329:43 (2008). https:\/\/doi.org\/10.1145\/1380572.1380578","DOI":"10.1145\/1380572.1380578"},{"key":"25_CR2","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, F.M., Montali, M., Pe\u00f1aloza, R.: Probabilistic declarative process mining. Inf. Syst. 109, 102033 (2022). https:\/\/doi.org\/10.1016\/J.IS.2022.102033","journal-title":"Inf. Syst."},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/J.IJAR.2021.11.003","volume":"142","author":"D Azzolini","year":"2022","unstructured":"Azzolini, D., Bellodi, E., Ferilli, S., Riguzzi, F., Zese, R.: Abduction with probabilistic logic programming under the distribution semantics. Int. J. Approx. Reason. 142, 41\u201363 (2022). https:\/\/doi.org\/10.1016\/J.IJAR.2021.11.003","journal-title":"Int. J. Approx. Reason."},{"issue":"1","key":"25_CR4","doi-asserted-by":"publisher","first-page":"143","DOI":"10.3233\/IA-221072","volume":"17","author":"E Bellodi","year":"2023","unstructured":"Bellodi, E.: The distribution semantics in probabilistic logic programming and probabilistic description logics: a survey. Intelligenza Artificiale 17(1), 143\u2013156 (2023). https:\/\/doi.org\/10.3233\/IA-221072","journal-title":"Intelligenza Artificiale"},{"issue":"5","key":"25_CR5","doi-asserted-by":"publisher","first-page":"557","DOI":"10.1017\/S1471068421000417","volume":"21","author":"E Bellodi","year":"2021","unstructured":"Bellodi, E., Gavanelli, M., Zese, R., Lamma, E., Riguzzi, F.: Nonground abductive logic programming with probabilistic integrity constraints. Theory Pract. Logic Program. 21(5), 557\u2013574 (2021). https:\/\/doi.org\/10.1017\/S1471068421000417","journal-title":"Theory Pract. Logic Program."},{"key":"25_CR6","doi-asserted-by":"publisher","unstructured":"Bergami, G., Maggi, F.M., Montali, M., Pe\u00f1aloza, R.: Probabilistic trace alignment. In: 2021 3rd International Conference on Process Mining (ICPM), pp. 9\u201316 (2021). https:\/\/doi.org\/10.1109\/ICPM53251.2021.9576856","DOI":"10.1109\/ICPM53251.2021.9576856"},{"key":"25_CR7","doi-asserted-by":"publisher","unstructured":"Ciccio, C.D., Montali, M.: Declarative process specifications: reasoning, discovery, monitoring. In: van\u00a0der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook, LNBIP, vol.\u00a0448, pp. 108\u2013152. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-08848-3_4","DOI":"10.1007\/978-3-031-08848-3_4"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Dantsin, E.: Probabilistic logic programs and their semantics. In: Russian Conference on Logic Programming. LNCS, vol.\u00a0592, pp. 152\u2013164. Springer (1991)","DOI":"10.1007\/3-540-55460-2_11"},{"key":"25_CR9","unstructured":"De Raedt, L., Kimmig, A., Toivonen, H.: ProbLog: A probabilistic prolog and its application in link discovery. In: Veloso, M.M. (ed.) 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), vol.\u00a07, pp. 2462\u20132467. AAAI Press (2007)"},{"key":"25_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1002\/(SICI)1097-4571(2000)51:2<95::AID-ASI2>3.0.CO;2-H","volume":"51","author":"N Fuhr","year":"2000","unstructured":"Fuhr, N.: Probabilistic datalog: implementing logical information retrieval for advanced applications. J. Am. Soc. Inf. Sci. 51, 95\u2013110 (2000)","journal-title":"J. Am. Soc. Inf. Sci."},{"issue":"2","key":"25_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"TH Fung","year":"1997","unstructured":"Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. J. Log. Program. 33(2), 151\u2013165 (1997). https:\/\/doi.org\/10.1016\/S0743-1066(97)00026-5","journal-title":"J. Log. Program."},{"key":"25_CR12","unstructured":"Giacomo, G.D., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Rossi, F. (ed.) IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence, Beijing, China, August 3-9, 2013, pp. 854\u2013860. IJCAI\/AAAI (2013). http:\/\/www.aaai.org\/ocs\/index.php\/IJCAI\/IJCAI13\/paper\/view\/6997"},{"key":"25_CR13","doi-asserted-by":"publisher","unstructured":"Montali, M.: Specification and verification of declarative open interaction models - a logic-based approach, LNBIP, vol.\u00a056. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-14538-4","DOI":"10.1007\/978-3-642-14538-4"},{"key":"25_CR14","doi-asserted-by":"publisher","unstructured":"Pegoraro, M., van\u00a0der Aalst, W.M.: Mining uncertain event data in process mining. In: 2019 International Conference on Process Mining (ICPM), pp. 89\u201396 (2019). https:\/\/doi.org\/10.1109\/ICPM.2019.00023","DOI":"10.1109\/ICPM.2019.00023"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-030-98581-3_2","volume-title":"Process Mining Workshops","author":"M Pegoraro","year":"2022","unstructured":"Pegoraro, M., Bakullari, B., Uysal, M.S., van der Aalst, W.M.P.: Probability estimation of uncertain process trace realizations. In: Munoz-Gama, J., Lu, X. (eds.) Process Mining Workshops, pp. 21\u201333. Springer, Cham (2022)"},{"key":"25_CR16","doi-asserted-by":"publisher","unstructured":"Pesic, M.: Constraint-based workflow management systems : shifting control to users, PhD thesis, (research tu\/e \/ graduation tu\/e), proefschrift, Industrial Engineering and Innovation Sciences (2008). https:\/\/doi.org\/10.6100\/IR638413","DOI":"10.6100\/IR638413"},{"key":"25_CR17","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0004-3702(97)00027-1","volume":"94","author":"D Poole","year":"1997","unstructured":"Poole, D.: The independent choice Logic for modelling multiple agents under uncertainty. Artif. Intell. 94, 7\u201356 (1997)","journal-title":"Artif. Intell."},{"issue":"3","key":"25_CR18","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/BF03037184","volume":"11","author":"D Poole","year":"1993","unstructured":"Poole, D.: Logic programming, abduction and probability - a top-down anytime algorithm for estimating prior and posterior probabilities. Nat. Gener. Comput. 11(3), 377\u2013400 (1993)","journal-title":"Nat. Gener. Comput."},{"key":"25_CR19","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Epistemic and statistical probabilistic ontologies. In: Bobillo, F., et al. (eds.) Proceedings of the 8th International Workshop on Uncertain Reasoning for the Semantic Web (URSW2012), Boston, USA, 11 November 2012, pp. 3\u201314, No.\u00a0900 in CEUR Workshop Proceedings, Sun SITE Central Europe, Aachen, Germany (2012)"},{"key":"25_CR20","unstructured":"Riguzzi, F., Bellodi, E., Lamma, E., Zese, R.: Reasoning with probabilistic ontologies. In: Yang, Q., Wooldridge, M.J. (eds.) Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pp. 4310\u20134316. AAAI Press (2015). http:\/\/ijcai.org\/Abstract\/15\/613"},{"issue":"2","key":"25_CR21","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1017\/S1471068411000664","volume":"13","author":"F Riguzzi","year":"2013","unstructured":"Riguzzi, F., Swift, T.: Welldefinedness and efficient inference for probabilistic logic programming under the distribution semantics. Theory Pract. Logic Program. 13(2), 279\u2013302 (2013). https:\/\/doi.org\/10.1017\/S1471068411000664","journal-title":"Theory Pract. Logic Program."},{"key":"25_CR22","doi-asserted-by":"crossref","unstructured":"Sato, T.: A statistical learning method for logic programs with distribution semantics. In: Sterling, L. (ed.) Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan, June 13-16, 1995, pp. 715\u2013729. MIT Press (1995)","DOI":"10.7551\/mitpress\/4298.003.0069"},{"issue":"3","key":"25_CR23","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1007\/s00268-018-4844-y","volume":"43","author":"UO Gustafsson","year":"2019","unstructured":"Gustafsson, U.O., et al.: Guidelines for perioperative care in elective colorectal surgery: enhanced recovery after surgery (eras\u00ae) society recommendations: 2018. World J. Surg. 43(3), 659\u2013695 (2019). https:\/\/doi.org\/10.1007\/s00268-018-4844-y","journal-title":"World J. Surg."},{"key":"25_CR24","doi-asserted-by":"publisher","unstructured":"Van der, Aalst, et al.: Process mining manifesto. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) Business Process Management Workshops - BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part I. LNBIP, vol.\u00a099, pp. 169\u2013194. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-28108-2_19","DOI":"10.1007\/978-3-642-28108-2_19"},{"issue":"3","key":"25_CR25","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S1471068409003767","volume":"9","author":"J Vennekens","year":"2009","unstructured":"Vennekens, J., Denecker, M., Bruynooghe, M.: CP-logic: a language of causal probabilistic events and its relation to logic programming. Theory Pract. Logic Program. 9(3), 245\u2013308 (2009). https:\/\/doi.org\/10.1017\/S1471068409003767","journal-title":"Theory Pract. Logic Program."},{"key":"25_CR26","doi-asserted-by":"publisher","unstructured":"Vennekens, J., Verbaeten, S., Bruynooghe, M.: Logic programs with annotated disjunctions. In: Demoen, B., Lifschitz, V. (eds.) 20th International Conference on Logic Programming (ICLP 2004). LNCS, vol.\u00a03131, pp. 431\u2013445. Springer (2004). https:\/\/doi.org\/10.1007\/978-3-540-27775-0_30","DOI":"10.1007\/978-3-540-27775-0_30"}],"container-title":["Lecture Notes in Computer Science","AIxIA 2024 \u2013 Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80607-0_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,31]],"date-time":"2024-12-31T17:06:06Z","timestamp":1735664766000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80607-0_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031806063","9783031806070"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80607-0_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 January 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AIxIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference of the Italian Association for Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bolzano","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aiia2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}