{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,20]],"date-time":"2026-07-20T22:14:33Z","timestamp":1784585673888,"version":"3.55.0"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:p>We study the interplay between counterfactual explanations and model multiplicity in the context of neural network classifiers. We show that current explanation methods often produce counterfactuals whose validity is not preserved under model multiplicity. We then study the problem of generating counterfactuals that are guaranteed to be robust to model multiplicity, characterise its complexity and propose an approach to solve this problem using ideas from relational verification.<\/jats:p>","DOI":"10.24963\/kr.2023\/78","type":"proceedings-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T22:27:47Z","timestamp":1690842467000},"page":"763-768","source":"Crossref","is-referenced-by-count":5,"title":["Counterfactual Explanations and Model Multiplicity: a Relational Verification View"],"prefix":"10.24963","author":[{"given":"Francesco","family":"Leofante","sequence":"first","affiliation":[{"name":"Imperial College London"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Elena","family":"Botoeva","sequence":"additional","affiliation":[{"name":"University of Kent"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vineet","family":"Rajani","sequence":"additional","affiliation":[{"name":"University of Kent"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","theme":"Artificial Intelligence","location":"Rhodes, Greece","acronym":"KR-2023","number":"20","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2023,9,2]]},"end":{"date-parts":[[2023,9,8]]}},"container-title":["Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T22:29:15Z","timestamp":1690842555000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2023\/78"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2023\/78","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]}}}