{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T23:52:44Z","timestamp":1743119564742,"version":"3.40.3"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031738869"},{"type":"electronic","value":"9783031738876"}],"license":[{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:00:00Z","timestamp":1729641600000},"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-73887-6_14","type":"book-chapter","created":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:02:38Z","timestamp":1729638158000},"page":"183-201","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Computing Inflated Explanations for\u00a0Boosted Trees: A Compilation-Based Approach"],"prefix":"10.1007","author":[{"given":"Alnis","family":"Murtovi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5100-7259","authenticated-orcid":false,"given":"Maximilian","family":"Schl\u00fcter","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9619-1558","authenticated-orcid":false,"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,23]]},"reference":[{"key":"14_CR1","unstructured":"Audemard, G., Lagniez, J., Marquis, P., Szczepanski, N.: Computing abductive explanations for boosted trees. In: Ruiz, F.J.R., Dy, J.G., van\u00a0de Meent, J. (eds.) International Conference on Artificial Intelligence and Statistics, 25\u201327 April 2023, Palau de Congressos, Valencia, Spain. Proceedings of Machine Learning Research, vol.\u00a0206, pp. 4699\u20134711. PMLR (2023). https:\/\/proceedings.mlr.press\/v206\/audemard23a.html"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1008699807402","volume":"10","author":"RI Bahar","year":"1997","unstructured":"Bahar, R.I., et al.: Algebraic decision diagrams and their applications. Form. Methods Syst. Des. 10, 171\u2013206 (1997)","journal-title":"Form. Methods Syst. Des."},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Biradar, G., Izza, Y., Lobo, E., Viswanathan, V., Zick, Y.: Axiomatic aggregations of abductive explanations. In: Wooldridge, M.J., Dy, J.G., Natarajan, S. (eds.) Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, 20\u201327 February 2024, Vancouver, Canada, pp. 11096\u201311104. AAAI Press (2024). https:\/\/doi.org\/10.1609\/AAAI.V38I10.28986","DOI":"10.1609\/AAAI.V38I10.28986"},{"key":"14_CR4","doi-asserted-by":"publisher","unstructured":"Borisov, V., Leemann, T., Se\u00dfler, K., Haug, J., Pawelczyk, M., Kasneci, G.: Deep neural networks and tabular data: a survey. IEEE Trans. Neural Netw. Learn. Syst. 1\u201321 (2022). https:\/\/doi.org\/10.1109\/TNNLS.2022.3229161","DOI":"10.1109\/TNNLS.2022.3229161"},{"issue":"1","key":"14_CR5","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1010933404324","volume":"45","author":"L Breiman","year":"2001","unstructured":"Breiman, L.: Random forests. Mach. Learn. 45(1), 5\u201332 (2001). https:\/\/doi.org\/10.1023\/A:1010933404324","journal-title":"Mach. Learn."},{"key":"14_CR6","doi-asserted-by":"publisher","unstructured":"Bryant: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35(8), 677\u2013691 (1986).https:\/\/doi.org\/10.1109\/TC.1986.1676819","DOI":"10.1109\/TC.1986.1676819"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Chen, T., Guestrin, C.: Xgboost: a scalable tree boosting system. In: Krishnapuram, B., Shah, M., Smola, A.J., Aggarwal, C.C., Shen, D., Rastogi, R. (eds.) Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, 13\u201317 August 2016, pp. 785\u2013794. ACM (2016). https:\/\/doi.org\/10.1145\/2939672.2939785","DOI":"10.1145\/2939672.2939785"},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Darwiche, A., Hirth, A.: On the reasons behind decisions. In: Giacomo, G.D., et al. (eds.) ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August\u20138 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020). Frontiers in Artificial Intelligence and Applications, vol.\u00a0325, pp. 712\u2013720. IOS Press (2020). https:\/\/doi.org\/10.3233\/FAIA200158","DOI":"10.3233\/FAIA200158"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Friedman, J.H.: Greedy function approximation: a gradient boosting machine. Ann. Stat. 1189\u20131232 (2001)","DOI":"10.1214\/aos\/1013203451"},{"issue":"4","key":"14_CR10","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MITP.2020.3005640","volume":"22","author":"F Gossen","year":"2020","unstructured":"Gossen, F., Margaria, T., Steffen, B.: Towards explainability in machine learning: the formal methods way. IT Prof. 22(4), 8\u201312 (2020). https:\/\/doi.org\/10.1109\/MITP.2020.3005640","journal-title":"IT Prof."},{"issue":"6","key":"14_CR11","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MITP.2021.3123495","volume":"23","author":"F Gossen","year":"2021","unstructured":"Gossen, F., Margaria, T., Steffen, B.: Formal methods boost experimental performance for explainable AI. IT Prof. 23(6), 8\u201312 (2021). https:\/\/doi.org\/10.1109\/MITP.2021.3123495","journal-title":"IT Prof."},{"key":"14_CR12","unstructured":"Gossen, F., Murtovi, A., Zweihoff, P., Steffen, B.: Add-lib: decision diagrams in practice. CoRR abs\/1912.11308 (2019). http:\/\/arxiv.org\/abs\/1912.11308"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Gossen, F., Steffen, B.: Algebraic aggregation of random forests: towards explainability and rapid evaluation. Int. J. Softw. Tools Technol. Transf. 1\u201319 (2021)","DOI":"10.1007\/s10009-021-00635-x"},{"key":"14_CR14","unstructured":"Grinsztajn, L., Oyallon, E., Varoquaux, G.: Why do tree-based models still outperform deep learning on typical tabular data? In: NeurIPS (2022). http:\/\/papers.nips.cc\/paper_files\/paper\/2022\/hash\/0378c7692da36807bdec87ab043cdadc-Abstract-Datasets_and_Benchmarks.html"},{"key":"14_CR15","doi-asserted-by":"publisher","unstructured":"Guidotti, R., Monreale, A., Ruggieri, S., Turini, F., Giannotti, F., Pedreschi, D.: A survey of methods for explaining black box models. ACM Comput. Surv. 51(5), 93:1\u201393:42 (2019). https:\/\/doi.org\/10.1145\/3236009","DOI":"10.1145\/3236009"},{"key":"14_CR16","doi-asserted-by":"publisher","unstructured":"Huang, X., Izza, Y., Ignatiev, A., Marques-Silva, J.: On efficiently explaining graph-based classifiers. In: Bienvenu, M., Lakemeyer, G., Erdem, E. (eds.) Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, 3\u201312 November 2021.,pp. 356\u2013367 (2021). https:\/\/doi.org\/10.24963\/KR.2021\/34","DOI":"10.24963\/KR.2021\/34"},{"key":"14_CR17","doi-asserted-by":"publisher","unstructured":"Ignatiev, A., Izza, Y., Stuckey, P.J., Marques-Silva, J.: Using maxsat for efficient explanations of tree ensembles. In: Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Event, February 22\u20131 March 2022, pp. 3776\u20133785. AAAI Press (2022). https:\/\/doi.org\/10.1609\/AAAI.V36I4.20292","DOI":"10.1609\/AAAI.V36I4.20292"},{"key":"14_CR18","doi-asserted-by":"publisher","unstructured":"Ignatiev, A., Narodytska, N., Marques-Silva, J.: Abduction-based explanations for machine learning models. In: The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27\u20131 February 2019, pp. 1511\u20131519. AAAI Press (2019). https:\/\/doi.org\/10.1609\/AAAI.V33I01.33011511","DOI":"10.1609\/AAAI.V33I01.33011511"},{"key":"14_CR19","unstructured":"Ignatiev, A., Narodytska, N., Marques-Silva, J.: On validating, repairing and refining heuristic ML explanations. CoRR abs\/1907.02509 (2019). http:\/\/arxiv.org\/abs\/1907.02509"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1613\/JAIR.1.13575","volume":"75","author":"Y Izza","year":"2022","unstructured":"Izza, Y., Ignatiev, A., Marques-Silva, J.: On tackling explanation redundancy in decision trees. J. Artif. Intell. Res. 75, 261\u2013321 (2022). https:\/\/doi.org\/10.1613\/JAIR.1.13575","journal-title":"J. Artif. Intell. Res."},{"key":"14_CR21","doi-asserted-by":"publisher","unstructured":"Izza, Y., Ignatiev, A., Stuckey, P.J., Marques-Silva, J.: Delivering inflated explanations. CoRR abs\/2306.15272 (2023). https:\/\/doi.org\/10.48550\/ARXIV.2306.15272","DOI":"10.48550\/ARXIV.2306.15272"},{"key":"14_CR22","doi-asserted-by":"publisher","unstructured":"Izza, Y., Marques-Silva, J.: On explaining random forests with SAT. In: Zhou, Z. (ed.) Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event \/ Montreal, Canada, 19\u201327 August 2021, pp. 2584\u20132591. ijcai.org (2021). https:\/\/doi.org\/10.24963\/IJCAI.2021\/356","DOI":"10.24963\/IJCAI.2021\/356"},{"issue":"4","key":"14_CR23","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/S11334-008-0071-2","volume":"4","author":"S J\u00f6rges","year":"2008","unstructured":"J\u00f6rges, S., Margaria, T., Steffen, B.: Genesys: service-oriented construction of property conform code generators. Innov. Syst. Softw. Eng. 4(4), 361\u2013384 (2008). https:\/\/doi.org\/10.1007\/S11334-008-0071-2","journal-title":"Innov. Syst. Softw. Eng."},{"key":"14_CR24","unstructured":"Lundberg, S.M., Lee, S.: A unified approach to interpreting model predictions. In: Guyon, I., et al. (eds.) Advances in Neural Information Processing Systems 30: Annual Conference on Neural Information Processing Systems 2017, 4\u20139 December 2017, Long Beach, CA, USA, pp. 4765\u20134774 (2017). https:\/\/proceedings.neurips.cc\/paper\/2017\/hash\/8a20a8621978632d76c43dfd28b67767-Abstract.html"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/3-540-61042-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T Margaria","year":"1996","unstructured":"Margaria, T.: Fully automatic verification and error detection for parameterized iterative sequential circuits. In: Margaria, T., Steffen, B. (eds.) TACAS 1996. LNCS, vol. 1055, pp. 258\u2013277. Springer, Heidelberg (1996). https:\/\/doi.org\/10.1007\/3-540-61042-1_49"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"392","DOI":"10.1007\/978-3-642-04930-9_25","volume-title":"The Semantic Web - ISWC 2009","author":"T Margaria","year":"2009","unstructured":"Margaria, T., Meyer, D., Kubczak, C., Isberner, M., Steffen, B.: Synthesizing semantic web service compositions with jMosel and Golog. In: Bernstein, A., et al. (eds.) ISWC 2009. LNCS, vol. 5823, pp. 392\u2013407. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04930-9_25"},{"issue":"3","key":"14_CR27","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/S10009-023-00702-5","volume":"25","author":"A Murtovi","year":"2023","unstructured":"Murtovi, A., Bainczyk, A., Nolte, G., Schl\u00fcter, M., Steffen, B.: Forest GUMP: a tool for verification and explanation. Int. J. Softw. Tools Technol. Transf. 25(3), 287\u2013299 (2023). https:\/\/doi.org\/10.1007\/S10009-023-00702-5","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"14_CR28","doi-asserted-by":"publisher","unstructured":"Ribeiro, M.T., Singh, S., Guestrin, C.: Why should I trust you?\u2019: explaining the predictions of any classifier. In: Krishnapuram, B., Shah, M., Smola, A.J., Aggarwal, C.C., Shen, D., Rastogi, R. (eds.) Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Francisco, CA, USA, 13\u201317 August 2016, pp. 1135\u20131144. ACM (2016). https:\/\/doi.org\/10.1145\/2939672.2939778","DOI":"10.1145\/2939672.2939778"},{"key":"14_CR29","doi-asserted-by":"publisher","unstructured":"Shih, A., Choi, A., Darwiche, A.: A symbolic approach to explaining Bayesian network classifiers. In: Lang, J. (ed.) Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, 13\u201319 July 2018, Stockholm, Sweden, pp. 5103\u20135111. ijcai.org (2018). https:\/\/doi.org\/10.24963\/IJCAI.2018\/708","DOI":"10.24963\/IJCAI.2018\/708"},{"key":"14_CR30","doi-asserted-by":"publisher","unstructured":"Shwartz-Ziv, R., Armon, A.: Tabular data: deep learning is not all you need. Inf. Fusion 81, 84\u201390 (2022). https:\/\/doi.org\/10.1016\/J.INFFUS.2021.11.011","DOI":"10.1016\/J.INFFUS.2021.11.011"},{"key":"14_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-91908-9_17","volume-title":"Computing and Software Science","author":"B Steffen","year":"2019","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 311\u2013344. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_17"},{"key":"14_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-540-70889-6_7","volume-title":"Hardware and Software, Verification and Testing","author":"B Steffen","year":"2007","unstructured":"Steffen, B., Margaria, T., Nagel, R., J\u00f6rges, S., Kubczak, C.: Model-driven development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92\u2013108. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-70889-6_7"},{"key":"14_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/11691617_18","volume-title":"Model Checking Software","author":"C Topnik","year":"2006","unstructured":"Topnik, C., Wilhelm, E., Margaria, T., Steffen, B.: jMosel: a stand-alone tool and jABC plugin for M2L(Str). In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 293\u2013298. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11691617_18"}],"container-title":["Lecture Notes in Computer Science","The Combined Power of Research, Education, and Dissemination"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-73887-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T11:15:59Z","timestamp":1738235759000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-73887-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,23]]},"ISBN":["9783031738869","9783031738876"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-73887-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,23]]},"assertion":[{"value":"23 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}