{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T22:01:48Z","timestamp":1757628108187,"version":"3.44.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032028129"},{"type":"electronic","value":"9783032028136"}],"license":[{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,9,1]],"date-time":"2025-09-01T00:00:00Z","timestamp":1756684800000},"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-3-032-02813-6_18","type":"book-chapter","created":{"date-parts":[[2025,8,31]],"date-time":"2025-08-31T07:15:27Z","timestamp":1756624527000},"page":"236-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Observing the\u00a0Effect of\u00a0Abstraction on\u00a0Understandability of\u00a0Explanations in\u00a0Answer Set Programming"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8690-5043","authenticated-orcid":false,"given":"Zeynep G.","family":"Saribatur","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0009-0603-3034","authenticated-orcid":false,"given":"Johannes","family":"Langer","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0009-0001-9027-5811","authenticated-orcid":false,"given":"Anna M.","family":"Thaler","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1301-0326","authenticated-orcid":false,"given":"Ute","family":"Schmid","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,9,1]]},"reference":[{"issue":"4","key":"18_CR1","doi-asserted-by":"publisher","first-page":"695","DOI":"10.1007\/s10994-020-05941-0","volume":"110","author":"L Ai","year":"2021","unstructured":"Ai, L., Muggleton, S.H., Hocquette, C., Gromowski, M., Schmid, U.: Beneficial and harmful explanatory machine learning. Mach. Learn. 110(4), 695\u2013721 (2021). https:\/\/doi.org\/10.1007\/s10994-020-05941-0","journal-title":"Mach. Learn."},{"key":"18_CR2","doi-asserted-by":"publisher","unstructured":"Bahel, V., Sriram, H., Conati, C.: Personalizing explanations of AI-driven hints to users\u2019 cognitive abilities: an empirical evaluation. CoRR abs\/2403.04035 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2403.04035","DOI":"10.48550\/ARXIV.2403.04035"},{"key":"18_CR3","doi-asserted-by":"publisher","unstructured":"Blaha, L.M., et al.: Understanding is a process. Front. Syst. Neurosci. 16 (2022). https:\/\/doi.org\/10.3389\/fnsys.2022.800280","DOI":"10.3389\/fnsys.2022.800280"},{"issue":"12","key":"18_CR4","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1145\/2043174.2043195","volume":"54","author":"G Brewka","year":"2011","unstructured":"Brewka, G., Eiter, T., Truszczy\u0144ski, M.: Answer set programming at a glance. Commun. ACM 54(12), 92\u2013103 (2011)","journal-title":"Commun. ACM"},{"key":"18_CR5","unstructured":"Cabalar, P., Mu\u00f1iz, B.: Explanation graphs for stable models of labelled logic programs. In: Arias, J., et al (eds.) Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023. CEUR Workshop Proceedings, vol.\u00a03437. CEUR-WS.org (2023). https:\/\/ceur-ws.org\/Vol-3437\/paper3ASPOCP.pdf"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"Chakraborti, T., Sreedharan, S., Kambhampati, S.: The emerging landscape of explainable automated planning and decision making. In: Proc. IJCAI, pp. 4803\u20134811 (2020). https:\/\/doi.org\/10.24963\/ijcai.2020\/669","DOI":"10.24963\/ijcai.2020\/669"},{"key":"18_CR7","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103471","volume":"296","author":"R Confalonieri","year":"2021","unstructured":"Confalonieri, R., Weyde, T., Besold, T.R., del Prado Mart\u00edn, F.M.: Using ontologies to enhance human understandability of global post-hoc explanations of black-box models. Artif. Intell. 296, 103471 (2021)","journal-title":"Artif. Intell."},{"key":"18_CR8","unstructured":"Eiter, T., Saribatur, Z.G., Sch\u00fcller, P.: Abstraction for zooming-in to unsolvability reasons of grid-cell problems. In: Proc. XAI@IJCAI (2019)"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Erdem, E., Gelfond, M., Leone, N.: Applications of answer set programming. AI Magazine 37(3), pp. 53\u201368 (2016). http:\/\/www.aaai.org\/ojs\/index.php\/aimagazine\/article\/view\/2678","DOI":"10.1609\/aimag.v37i3.2678"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"Fandinno, J., Schulz, C.: Answering the \u201cwhy\u201d in answer set programming - a survey of explanation approaches. TPLP 19(2),pp. 114\u2013203 (2019)","DOI":"10.1017\/S1471068418000534"},{"key":"18_CR11","first-page":"9574","volume":"34","author":"A Geiger","year":"2021","unstructured":"Geiger, A., Lu, H., Icard, T., Potts, C.: Causal abstractions of neural networks. Adv. Neural. Inf. Process. Syst. 34, 9574\u20139586 (2021)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"issue":"3","key":"18_CR12","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. N. Gener. Comput. 9(3), 365\u2013385 (1991)","journal-title":"N. Gener. Comput."},{"issue":"7912","key":"18_CR13","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1038\/s41586-022-04743-9","volume":"606","author":"MK Ho","year":"2022","unstructured":"Ho, M.K., Abel, D., Correa, C.G., Littman, M.L., Cohen, J.D., Griffiths, T.L.: People construct simplified mental representations to plan. Nature 606(7912), 129\u2013136 (2022)","journal-title":"Nature"},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2018.07.007","volume":"267","author":"T Miller","year":"2019","unstructured":"Miller, T.: Explanation in artificial intelligence: insights from the social sciences. AIJ 267, 1\u201338 (2019). https:\/\/doi.org\/10.1016\/j.artint.2018.07.007","journal-title":"AIJ"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"Muggleton, S.H., Schmid, U., Zeller, C., Tamaddoni-Nezhad, A., Besold, T.: Ultra-strong machine learning: comprehensibility of programs learned with ILP. ML 107(7),pp. 1119\u20131140 (2018)","DOI":"10.1007\/s10994-018-5707-3"},{"key":"18_CR16","doi-asserted-by":"publisher","unstructured":"Saribatur, Z.G., Eiter, T.: Omission-based abstraction for answer set programs. Theory Pract. Log. Program. 21(2),pp. 145\u2013195 (2021). https:\/\/doi.org\/10.1017\/S1471068420000095","DOI":"10.1017\/S1471068420000095"},{"key":"18_CR17","doi-asserted-by":"publisher","unstructured":"Saribatur, Z.G., Eiter, T., Sch\u00fcller, P.: Abstraction for non-ground answer set programs. Artif. Intell. 300, 103563 (2021). https:\/\/doi.org\/10.1016\/j.artint.2021.103563","DOI":"10.1016\/j.artint.2021.103563"},{"key":"18_CR18","doi-asserted-by":"publisher","unstructured":"Saribatur, Z.G., Knorr, M., Gon\u00e7alves, R., Leite, J.: On abstracting over the irrelevant in answer set programming. In: Marquis, P., Ortiz, M., Pagnucco, M. (eds.) Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024 (2024).https:\/\/doi.org\/10.24963\/KR.2024\/61","DOI":"10.24963\/KR.2024\/61"},{"key":"18_CR19","doi-asserted-by":"publisher","unstructured":"Saribatur, Z.G., Woltran, S.: Foundations for projecting away the irrelevant in ASP programs. In: Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, pp. 614\u2013624. IJCAI Organization (2023). https:\/\/doi.org\/10.24963\/kr.2023\/60","DOI":"10.24963\/kr.2023\/60"},{"key":"18_CR20","doi-asserted-by":"publisher","unstructured":"Schmid, U., Zeller, C., Besold, T., Tamaddoni-Nezhad, A., Muggleton, S.: How Does Predicate Invention Affect Human Comprehensibility? In: Cussens, J., Russo, A. (eds.) ILP 2016. LNCS (LNAI), vol. 10326, pp. 52\u201367. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-63342-8_5","DOI":"10.1007\/978-3-319-63342-8_5"},{"key":"18_CR21","doi-asserted-by":"crossref","unstructured":"Shapiro, S.S., Wilk, M.B.: An analysis of variance test for normality (complete samples). Biometrika 52(3\/4),pp. 591\u2013611 (1965). http:\/\/www.jstor.org\/stable\/2333709","DOI":"10.1093\/biomet\/52.3-4.591"},{"key":"18_CR22","doi-asserted-by":"crossref","unstructured":"Siebers, M., Schmid, U.: Please delete that! why should I? KI 33(1), pp.35\u201344 (2019)","DOI":"10.1007\/s13218-018-0565-5"},{"key":"18_CR23","unstructured":"Poesia Reis\u00a0e Silva, G., Goodman, N.: Left to the reader: abstracting solutions in mathematical reasoning. In: Proceedings of the Annual Meeting of the Cognitive Science Society, vol.\u00a044 (2022)"},{"issue":"1","key":"18_CR24","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1037\/h0044616","volume":"64","author":"BJ Underwood","year":"1957","unstructured":"Underwood, B.J.: Interference and forgetting. Psychol. Rev. 64(1), 49 (1957)","journal-title":"Psychol. Rev."}],"container-title":["Lecture Notes in Computer Science","KI 2025: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-02813-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T06:02:53Z","timestamp":1757484173000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-02813-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,1]]},"ISBN":["9783032028129","9783032028136"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-02813-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,9,1]]},"assertion":[{"value":"1 September 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"KI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"German Conference on Artificial Intelligence (K\u00fcnstliche Intelligenz)","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Potsdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"48","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ki2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ki2025.gi.de\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}