{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T21:53:31Z","timestamp":1757627611576,"version":"3.44.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032045867"},{"type":"electronic","value":"9783032045874"}],"license":[{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T00:00:00Z","timestamp":1756425600000},"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-04587-4_4","type":"book-chapter","created":{"date-parts":[[2025,9,2]],"date-time":"2025-09-02T09:28:59Z","timestamp":1756805339000},"page":"45-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Why This and\u00a0Not That? A Logic-Based Framework for\u00a0Contrastive Explanations"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0856-7162","authenticated-orcid":false,"given":"Tobias","family":"Geibinger","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4714-4637","authenticated-orcid":false,"given":"Reijo","family":"Jaakkola","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1356-8749","authenticated-orcid":false,"given":"Antti","family":"Kuusisto","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5533-3924","authenticated-orcid":false,"given":"Xinghan","family":"Liu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7301-939X","authenticated-orcid":false,"given":"Miikka","family":"Vilander","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,8,29]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","unstructured":"Aeberhard, S., Forina, M.: Wine. UCI Machine Learning Repository (1992). https:\/\/doi.org\/10.24432\/C5PC7J","DOI":"10.24432\/C5PC7J"},{"key":"4_CR2","unstructured":"Barcel\u00f3, P., Monet, M., P\u00e9rez, J., Subercaseaux, B.: Model interpretability through the lens of computational complexity. In: Advances in Neural Information Processing Systems, vol. 33, pp. 15487\u201315498 (2020)"},{"key":"4_CR3","unstructured":"Bassan, S., Amir, G., Katz, G.: Local vs. global interpretability: a computational complexity perspective. In: Forty-first International Conference on Machine Learning (2024)"},{"key":"4_CR4","doi-asserted-by":"publisher","unstructured":"Darwiche, A.: Logic for explainable AI. In: LICS, pp. 1\u201311 (2023). https:\/\/doi.org\/10.1109\/LICS56636.2023.10175757","DOI":"10.1109\/LICS56636.2023.10175757"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Darwiche, A., Hirth, A.: On the reasons behind decisions. In: 24th European Conference on Artificial Intelligence (ECAI 2020). Frontiers in Artificial Intelligence and Applications, vol.\u00a0325, pp. 712\u2013720. IOS Press (2020)","DOI":"10.3233\/FAIA200158"},{"key":"4_CR6","doi-asserted-by":"publisher","unstructured":"Eiter, T., Ianni, G., Krennwallner, T.: Answer set programming: a primer. In: Reasoning Web. Semantic Technologies for Information Systems. LNCS, vol.\u00a05689, pp. 40\u2013110. Springer (2009). https:\/\/doi.org\/10.1007\/978-3-642-03754-2_2","DOI":"10.1007\/978-3-642-03754-2_2"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Fisher, R.A.: Iris. UCI Machine Learning Repository (1936). https:\/\/doi.org\/10.24432\/C56C76","DOI":"10.24432\/C56C76"},{"key":"4_CR8","doi-asserted-by":"publisher","unstructured":"German, B.: Glass Identification. UCI Machine Learning Repository (1987). https:\/\/doi.org\/10.24432\/C5WW2P","DOI":"10.24432\/C5WW2P"},{"key":"4_CR9","doi-asserted-by":"publisher","unstructured":"Ignatiev, A., Narodytska, N., Asher, N., Marques-Silva, J.: From contrastive to abductive explanations and back again. In: Baldoni, M., Bandini, S. (eds.) AIxIA 2020 - Advances in Artificial Intelligence - XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers. Lecture Notes in Computer Science, vol. 12414, pp. 335\u2013355. Springer (2020). https:\/\/doi.org\/10.1007\/978-3-030-77091-4_21","DOI":"10.1007\/978-3-030-77091-4_21"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Ignatiev, A., Narodytska, N., Marques-Silva, J.: Abduction-based explanations for machine learning models. In: Proceedings of the Thirty-third AAAI Conference on Artificial Intelligence (AAAI-19), vol.\u00a033, pp. 1511\u20131519 (2019)","DOI":"10.1609\/aaai.v33i01.33011511"},{"key":"4_CR11","unstructured":"Jaakkola, R., Janhunen, T., Kuusisto, A., Rankooh, M.F., Vilander, M.: Explainability via short formulas: the case of propositional logic with implementation. In: Joint Proceedings of (HYDRA 2022) and the RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. CEUR Workshop Proceedings, vol.\u00a03281, pp. 64\u201377 (2022)"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Lipton, P.: Contrastive explanation. Roy. Inst. Philos. Suppl. 27, 247\u2013266 (1990). https:\/\/doi.org\/10.1017\/S1358246100005130","DOI":"10.1017\/S1358246100005130"},{"key":"4_CR13","doi-asserted-by":"publisher","unstructured":"Marques-Silva, J.: Logic-based explainability in machine learning. In: Bertossi, L.E., Xiao, G. (eds.) Reasoning Web. Causality, Explanations and Declarative Knowledge - 18th International Summer School 2022, Berlin, Germany, September 27\u201330, 2022, Tutorial Lectures. Lecture Notes in Computer Science, vol. 13759, pp. 24\u2013104. Springer (2022). https:\/\/doi.org\/10.1007\/978-3-031-31414-8_2","DOI":"10.1007\/978-3-031-31414-8_2"},{"key":"4_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. Artif. Intell. 267, 1\u201338 (2019). https:\/\/doi.org\/10.1016\/j.artint.2018.07.007","journal-title":"Artif. Intell."},{"key":"4_CR15","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., et al.: Scikit-learn: machine learning in Python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"key":"4_CR16","unstructured":"Shih, A., Choi, A., Darwiche, A.: Formal verification of Bayesian network classifiers. In: International Conference on Probabilistic Graphical Models, pp. 427\u2013438. PMLR (2018)"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"11974","DOI":"10.1109\/ACCESS.2021.3051315","volume":"9","author":"I Stepin","year":"2021","unstructured":"Stepin, I., Alonso, J.M., Catala, A., Pereira-Fari\u00f1a, M.: A survey of contrastive and counterfactual explanation generation methods for explainable artificial intelligence. IEEE Access 9, 11974\u201312001 (2021)","journal-title":"IEEE Access"},{"issue":"4","key":"4_CR18","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1006\/jcss.2001.1775","volume":"63","author":"C Umans","year":"2001","unstructured":"Umans, C.: The minimum equivalent DNF problem and shortest implicants. J. Comput. Syst. Sci. 63(4), 597\u2013611 (2001). https:\/\/doi.org\/10.1006\/jcss.2001.1775","journal-title":"J. Comput. Syst. Sci."},{"issue":"4","key":"4_CR19","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1111\/1468-5914.00197","volume":"32","author":"J Van Bouwel","year":"2002","unstructured":"Van Bouwel, J., Weber, E.: Remote causes, bad explanations? J. Theory Soc. Behav. 32(4), 437\u2013449 (2002). https:\/\/doi.org\/10.1111\/1468-5914.00197","journal-title":"J. Theory Soc. Behav."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-04587-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T04:18:07Z","timestamp":1757477887000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-04587-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,8,29]]},"ISBN":["9783032045867","9783032045874"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-04587-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,8,29]]},"assertion":[{"value":"29 August 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kutaisi","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Georgia","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":"1 September 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.jelia.eu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}