{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T12:04:05Z","timestamp":1784203445820,"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":[[2026,7]]},"abstract":"<jats:p>In recent years, explainable AI has become a major focus of research, driven by the need to better understand how AI systems arrive at their decisions in order to ensure trust and effective deployment. A central challenge in this field is the explanation of classifiers. Existing approaches typically distinguish between local explanations, which account for a classifier\u2019s decision on an individual input, and global explanations, which aim to characterize the classifier\u2019s behavior as a whole, independent of any particular input. This work concentrates on global explanations and characterizes classification decisions through \"maximal\" sufficient conditions that, when satisfied, guarantee that the classifier assigns the desired class to any input. We present a detailed analysis of the computational complexity of key problems in this setting across several important families of classifiers considered in the literature.<\/jats:p>","DOI":"10.24963\/kr.2026\/82","type":"proceedings-article","created":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T11:15:53Z","timestamp":1784200553000},"page":"872-882","source":"Crossref","is-referenced-by-count":0,"title":["Explaining Classification Through Global Sufficient Reasons and its Complexity"],"prefix":"10.24963","author":[{"given":"Marco","family":"Calautti","sequence":"first","affiliation":[{"name":"University of Milano"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Enrico","family":"Malizia","sequence":"additional","affiliation":[{"name":"University of Bologna"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Cristian","family":"Molinaro","sequence":"additional","affiliation":[{"name":"University of Calabria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"23nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2026}","theme":"Artificial Intelligence","location":"Lisbon, Portuagal","acronym":"KR-2026","number":"23","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","European Association for Artificial Intelligence"],"start":{"date-parts":[[2026,7,20]]},"end":{"date-parts":[[2026,7,18]]}},"container-title":["Proceedings of the TwentyThird International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T11:16:15Z","timestamp":1784200575000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2026\/82"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2026,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2026\/82","relation":{},"subject":[],"published":{"date-parts":[[2026,7]]}}}