{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T07:02:18Z","timestamp":1780729338007,"version":"3.54.1"},"publisher-location":"Singapore","reference-count":25,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819214617","type":"print"},{"value":"9789819214624","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-981-92-1462-4_9","type":"book-chapter","created":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:45:13Z","timestamp":1780728313000},"page":"104-118","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Neuro-Symbolic Learning for\u00a0Predictive Process Monitoring via\u00a0Two-Stage Logic Tensor Networks with\u00a0Rule Pruning"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0002-5079-3048","authenticated-orcid":false,"given":"Fabrizio","family":"De Santis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9394-6513","authenticated-orcid":false,"given":"Gyunam","family":"Park","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5802-8343","authenticated-orcid":false,"given":"Francesco","family":"Zanichelli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,6,7]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103649","volume":"303","author":"S Badreddine","year":"2022","unstructured":"Badreddine, S., d\u2019Avila Garcez, A.S., Serafini, L., Spranger, M.: Logic tensor networks. Artif. Intell. 303, 103649 (2022)","journal-title":"Artif. Intell."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Bao, X., et al.: Explainable temporal knowledge graph reasoning via expressive logic rules. In: Wu, X., et al., (eds.) Advances in Knowledge Discovery and Data Mining - 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part I. Lecture Notes in Computer Science, vol. 15870, pp. 175\u2013186. Springer (2025)","DOI":"10.1007\/978-981-96-8170-9_14"},{"issue":"21","key":"9_CR3","doi-asserted-by":"publisher","first-page":"12809","DOI":"10.1007\/s00521-024-09960-z","volume":"36","author":"BP Bhuyan","year":"2024","unstructured":"Bhuyan, B.P., Ramdane-Cherif, A., Tomar, R., Singh, T.P.: Neuro-symbolic artificial intelligence: a survey. Neural Comput. Appl. 36(21), 12809\u201312844 (2024)","journal-title":"Neural Comput. Appl."},{"key":"9_CR4","unstructured":"Bukhsh, Z.A., Saeed, A., Dijkman, R.M.: Processtransformer: Predictive business process monitoring with transformer network. CoRR abs\/2104.00721 (2021)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Cafaro, M., Epicoco, I., Pulimeno, M.: Data mining: Mining frequent patterns, associations rules, and correlations. In: Ranganathan, S., Gribskov, M., Nakai, K., Sch\u00f6nbach, C. (eds.) Encyclopedia of Bioinformatics and Computational Biology - Volume 1, pp. 358\u2013366. Elsevier (2019)","DOI":"10.1016\/B978-0-12-809633-8.20472-X"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Camargo, M., Dumas, M., Rojas, O.G.: Learning accurate LSTM models of business processes. In: Hildebrandt, T.T., van Dongen, B.F., R\u00f6glinger, M., Mendling, J. (eds.) Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1\u20136 (2019), Proceedings. Lecture Notes in Computer Science, vol. 11675, pp. 286\u2013302. Springer (2019)","DOI":"10.1007\/978-3-030-26619-6_19"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Dierckx, L., Veroneze, R., Nijssen, S.: Rl-net: interpretable rule learning with neural networks. In: Kashima, H., Id\u00e9, T., Peng, W. (eds.) Advances in Knowledge Discovery and Data Mining - 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part I. Lecture Notes in Computer Science, vol. 13935, pp. 95\u2013107. Springer (2023)","DOI":"10.1007\/978-3-031-33374-3_8"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., Grefenstette, E.: Learning explanatory rules from noisy data. J. Artif. Intell. Res. 61, 1\u201364 (2018)","journal-title":"J. Artif. Intell. Res."},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.dss.2017.04.003","volume":"100","author":"J Evermann","year":"2017","unstructured":"Evermann, J., Rehse, J., Fettke, P.: Predicting process behaviour using deep learning. Decis. Support Syst. 100, 129\u2013140 (2017)","journal-title":"Decis. Support Syst."},{"key":"9_CR10","unstructured":"Fischer, M., et al.: DL2: training and querying neural networks with logic. In: Chaudhuri, K., Salakhutdinov, R. (eds.) Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9-15 June 2019, Long Beach, California, USA. Proceedings of Machine Learning Research, vol.\u00a097, pp. 1931\u20131941. PMLR (2019)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Francescomarino, C.D., Ghidini, C.: Predictive process monitoring. In: van\u00a0der Aalst, W.M.P., Carmona, J. (eds.) Process Mining Handbook, Lecture Notes in Business Information Processing, vol.\u00a0448, pp. 320\u2013346 Springer (2022)","DOI":"10.1007\/978-3-031-08848-3_10"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Francescomarino, C.D., Ghidini, C., Maggi, F.M., Petrucci, G., Yeshchenko, A.: An eye into the future: Leveraging a-priori knowledge in predictive business process monitoring. In: Carmona, J., Engels, G., Kumar, A. (eds.) Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10445, pp. 252\u2013268. Springer (2017)","DOI":"10.1007\/978-3-319-65000-5_15"},{"key":"9_CR13","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)"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Huang, L., Xia, K., Hu, C.: Path complex neural networks for sequential process activities classification. In: Sun, Y., Chierichetti, F., Lauw, H.W., Perlich, C., Tok, W.H., Tomkins, A. (eds.) Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, V.1, KDD 2025, Toronto, ON, Canada, August 3-7, 2025, pp. 544\u2013554 ACM (2025)","DOI":"10.1145\/3690624.3709193"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Li, B., Wang, B., Li, L., Li, W., Mo, T.: Equitynet: unveiling corporate equity relationships in business conglomerates using graph neural networks and GDV features. In: Wu, X., et al., (eds.) Advances in Knowledge Discovery and Data Mining - 29th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2025, Sydney, NSW, Australia, June 10-13, 2025, Proceedings, Part I. Lecture Notes in Computer Science, vol. 15870, pp. 137\u2013148 Springer (2025)","DOI":"10.1007\/978-981-96-8170-9_11"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Mooij, A.J., van\u00a0der Aalst, W.M.P.: User-guided discovery of declarative process models. In: Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, CIDM 2011, part of the IEEE Symposium Series on Computational Intelligence 2011, April 11\u201315, 2011, Paris, France, pp. 192\u2013199 IEEE (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"9_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103504","volume":"298","author":"R Manhaeve","year":"2021","unstructured":"Manhaeve, R., Dumancic, S., Kimmig, A., Demeester, T., Raedt, L.D.: Neural probabilistic logic programming in deepproblog. Artif. Intell. 298, 103504 (2021)","journal-title":"Artif. Intell."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Mezini, A., Umili, E., Donadello, I., Maggi, F.M., Mancanelli, M., Patrizi, F.: Neuro-symbolic predictive process monitoring. CoRR abs\/2509.00834 (2025)","DOI":"10.2139\/ssrn.5420992"},{"key":"9_CR19","unstructured":"Taghiabadi, E.R., Fahland, D., van Dongen, B.F., van\u00a0der Aalst, W.M.P.: Diagnostic information for compliance checking of temporal compliance requirements. In: Salinesi, C., Norrie, M.C., Pastor, O. (eds.) Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, Valencia, Spain, June 17\u201321, 2013. Proceedings. Lecture Notes in Computer Science, vol.\u00a07908, pp. 304\u2013320 Springer (2013)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Tax, N., Verenich, I., Rosa, M.L., Dumas, M.: Predictive business process monitoring with LSTM neural networks. In: Dubois, E., Pohl, K. (eds.) Advanced Information Systems Engineering - 29th International Conference, CAiSE 2017, Essen, Germany, June 12\u201316, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10253, pp. 477\u2013492 Springer (2017)","DOI":"10.1007\/978-3-319-59536-8_30"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Vazifehdoostirani, M., Genga, L., Dijkman, R.M.: Encoding high-level control-flow construct information for process outcome prediction. In: Burattin, A., Polyvyanyy, A., Weber, B. (eds.) 4th International Conference on Process Mining, ICPM 2022, Bolzano, Italy, October 23-28, 2022 pp. 48\u201355 IEEE (2022)","DOI":"10.1109\/ICPM57379.2022.9980737"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Wang, J., Yu, D., Liu, C., Sun, X.: Outcome-oriented predictive process monitoring with attention-based bidirectional LSTM neural networks. In: Bertino, E., Chang, C.K., Chen, P., Damiani, E., Goul, M., Oyama, K. (eds.) 2019 IEEE International Conference on Web Services, ICWS 2019, Milan, Italy, July 8\u201313, 2019, pp. 360\u2013367 IEEE (2019)","DOI":"10.1109\/ICWS.2019.00065"},{"key":"9_CR23","unstructured":"Xu, J., Zhang, Z., Friedman, T., Liang, Y., den Broeck, G.V.: A semantic loss function for deep learning with symbolic knowledge. In: Dy, J.G., Krause, A. (eds.) Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan, Stockholm, Sweden, July 10\u201315, 2018. Proceedings of Machine Learning Research, vol.\u00a080, pp. 5498\u20135507 PMLR (2018)"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Ying, X., et al.: Two-stage knowledge graph completion based on semantic features and high-order structural features. In: Yang, D., Xie, X., Tseng, V.S., Pei, J., Huang, J., Lin, J.C. (eds.) Advances in Knowledge Discovery and Data Mining - 28th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2024, Taipei, Taiwan, May 7\u201310, 2024, Proceedings, Part I. Lecture Notes in Computer Science, vol. 14645, pp. 143\u2013155. Springer (2024)","DOI":"10.1007\/978-981-97-2242-6_12"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"Zhao, M., Jia, W., Huang, Y.: Attention-based aggregation graph networks for knowledge graph information transfer. In: Lauw, H.W., Wong, R.C., Ntoulas, A., Lim, E., Ng, S., Pan, S.J. (eds.) Advances in Knowledge Discovery and Data Mining - 24th Pacific-Asia Conference, PAKDD 2020, Singapore, May 11-14, 2020, Proceedings, Part II. Lecture Notes in Computer Science, vol. 12085, pp. 542\u2013554 Springer (2020)","DOI":"10.1007\/978-3-030-47436-2_41"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Discovery and Data Mining"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-92-1462-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T06:45:17Z","timestamp":1780728317000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-92-1462-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9789819214617","9789819214624"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-981-92-1462-4_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"7 June 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PAKDD","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pacific-Asia Conference on Knowledge Discovery and Data Mining","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Hong Kong","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 June 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pakdd2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.pakdd2026.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}