On the failings of Shapley values for explainability

Explainable Artificial Intelligence (XAI) is widely considered to be critical for building trust into the deployment of systems that integrate the use of machine learning (ML) models. For more than two decades Shapley values have been used as the theoretical underpinning for some methods of XAI, bei...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:International journal of approximate reasoning Ročník 171; s. 109112
Hlavní autori: Huang, Xuanxiang, Marques-Silva, Joao
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Inc 01.08.2024
Predmet:
ISSN:0888-613X, 1873-4731
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Abstract Explainable Artificial Intelligence (XAI) is widely considered to be critical for building trust into the deployment of systems that integrate the use of machine learning (ML) models. For more than two decades Shapley values have been used as the theoretical underpinning for some methods of XAI, being commonly referred to as SHAP scores. Some of these methods of XAI now rank among the most widely used, including in high-risk domains. This paper proves that the existing definitions of SHAP scores will necessarily yield misleading information about the relative importance of features for predictions. The paper identifies a number of ways in which misleading information can be conveyed to human decision makers, and proves that there exist classifiers which will yield such misleading information. Furthermore, the paper offers empirical evidence that such theoretical limitations of SHAP scores are routinely observed in ML classifiers.
AbstractList Explainable Artificial Intelligence (XAI) is widely considered to be critical for building trust into the deployment of systems that integrate the use of machine learning (ML) models. For more than two decades Shapley values have been used as the theoretical underpinning for some methods of XAI, being commonly referred to as SHAP scores. Some of these methods of XAI now rank among the most widely used, including in high-risk domains. This paper proves that the existing definitions of SHAP scores will necessarily yield misleading information about the relative importance of features for predictions. The paper identifies a number of ways in which misleading information can be conveyed to human decision makers, and proves that there exist classifiers which will yield such misleading information. Furthermore, the paper offers empirical evidence that such theoretical limitations of SHAP scores are routinely observed in ML classifiers.
ArticleNumber 109112
Author Huang, Xuanxiang
Marques-Silva, Joao
Author_xml – sequence: 1
  givenname: Xuanxiang
  surname: Huang
  fullname: Huang, Xuanxiang
  email: xuanxiang.huang.cs@gmail.com
  organization: University of Toulouse, Toulouse, France
– sequence: 2
  givenname: Joao
  orcidid: 0000-0002-6632-3086
  surname: Marques-Silva
  fullname: Marques-Silva, Joao
  email: jpmarquessilva@gmail.com
  organization: IRIT, CNRS, Toulouse, France
BookMark eNp9j81KAzEUhYMo2FZfwFVeYOpNMjPJgBsp_kGhCxXchTRzr80wzpRkLPbtnVJXLrq6cLjf4XxTdt71HTJ2I2AuQJS3zTw0Ls4lSDUGlRDyjE2E0SrLtRLnbALGmKwU6uOSTVNqAKDUuZmwfNXxYYOcXGhD95l4T_x147Yt7vnOtd-YOPWR48-2daFz6_Fr2F-xC3Jtwuu_O2Pvjw9vi-dsuXp6WdwvM68AhkwLUUkiwsIrrwi1yUG4CvKSZO0kCTIIfk2qKEpJAFVNhVZrDaVTJLxUM2aOvT72KUUk68PghtB3Qxz3WgH2YG8be7C3B3t7tB9R-Q_dxvDl4v40dHeEcJTaBYw2-YCdxzpE9IOt-3AK_wV70HVD
CitedBy_id crossref_primary_10_1007_s00146_024_02128_2
crossref_primary_10_1016_j_scriptamat_2025_116857
crossref_primary_10_1016_j_ijpharm_2025_126174
crossref_primary_10_1016_j_watres_2025_123514
crossref_primary_10_1016_j_envres_2025_122656
crossref_primary_10_1016_j_intimp_2025_115238
crossref_primary_10_1016_j_jcat_2025_116098
crossref_primary_10_1038_s41598_025_85323_5
crossref_primary_10_1007_s10115_025_02465_8
crossref_primary_10_1016_j_ard_2025_04_017
crossref_primary_10_1016_j_buildenv_2025_113493
crossref_primary_10_1016_j_ejso_2025_110025
crossref_primary_10_1016_j_ijar_2024_109206
crossref_primary_10_3390_electronics14163230
crossref_primary_10_1016_j_smrv_2025_102152
crossref_primary_10_1002_idm2_70009
crossref_primary_10_1007_s43681_024_00590_8
crossref_primary_10_1016_j_crmeth_2025_101022
crossref_primary_10_1080_10095020_2025_2510412
crossref_primary_10_1016_j_envsoft_2025_106700
crossref_primary_10_1109_TFUZZ_2024_3485212
crossref_primary_10_1016_j_archger_2025_105873
crossref_primary_10_1109_ACCESS_2024_3420415
crossref_primary_10_1038_s41746_024_01312_4
crossref_primary_10_1002_art_43222
crossref_primary_10_3390_diagnostics14171866
crossref_primary_10_1016_j_jhazmat_2025_138366
crossref_primary_10_1007_s10614_025_10974_5
crossref_primary_10_1007_s10994_025_06855_5
crossref_primary_10_1109_OJSP_2025_3568756
crossref_primary_10_1016_j_ejrad_2025_112308
crossref_primary_10_1007_s42484_025_00254_8
crossref_primary_10_3390_geomatics4030016
crossref_primary_10_1016_j_scitotenv_2025_179714
crossref_primary_10_1557_s43577_025_00959_y
crossref_primary_10_1007_s00521_024_10163_9
crossref_primary_10_1016_j_acra_2025_07_048
crossref_primary_10_1016_j_inffus_2025_103133
crossref_primary_10_1002_ibra_12174
crossref_primary_10_1016_j_ejca_2025_115733
crossref_primary_10_1016_j_jinf_2025_106575
crossref_primary_10_1016_j_ccr_2025_216584
crossref_primary_10_3389_fspor_2025_1504362
crossref_primary_10_1016_j_compbiomed_2025_110718
crossref_primary_10_1016_j_ipm_2025_104153
crossref_primary_10_1016_j_scitotenv_2025_180475
crossref_primary_10_1016_j_cllc_2025_09_005
crossref_primary_10_1016_j_radonc_2025_111140
crossref_primary_10_14778_3746405_3746429
crossref_primary_10_1016_j_ard_2025_04_005
crossref_primary_10_1053_j_jvca_2025_08_035
Cites_doi 10.1038/s41598-021-92442-2
10.1016/j.artint.2022.103841
10.1080/00029890.1959.11989404
10.1093/bib/bbab315
10.1016/S1574-0005(02)03016-3
10.1613/jair.989
10.1016/0020-0190(87)90114-1
10.1080/00029890.1955.11988710
10.1016/j.radonc.2022.05.019
10.1109/ACCESS.2021.3119110
10.1007/s10849-022-09377-8
10.1016/j.inffus.2019.12.012
10.1038/s41598-021-04608-7
10.1214/21-SS133
10.1186/s12911-022-02087-y
10.1186/s13040-017-0154-4
10.1111/1759-7714.13204
10.1002/j.1538-7305.1956.tb03835.x
10.1016/j.artint.2018.07.007
10.1016/j.inffus.2021.05.009
10.1016/j.ygyno.2021.11.007
10.3390/electronics12051092
10.1016/j.ijmedinf.2022.104896
10.1007/s10462-021-10088-y
10.1016/j.artint.2022.103667
10.1016/j.ijar.2023.01.004
10.1038/s42256-019-0048-x
10.1140/epjds/s13688-022-00315-z
10.1016/j.bbe.2022.06.007
10.1016/j.cmpb.2022.107161
10.1016/j.inffus.2023.101805
10.1002/asmb.446
10.1109/T-C.1971.223372
10.1016/j.ijar.2023.108939
10.1109/ACCESS.2020.2966397
10.1037/h0043158
10.1109/JBHI.2022.3220179
10.1093/logcom/exac102
10.1080/00029890.1952.11988183
10.1016/j.inffus.2021.09.022
10.1145/200836.200838
10.1007/s10115-013-0679-x
10.1613/jair.1.13283
10.3390/diagnostics12020237
10.1016/j.oraloncology.2022.106278
10.1109/MSP.2021.3126573
10.1613/jair.1.12756
10.1038/s41598-021-86327-7
10.1613/jair.1.13575
10.1145/3236009
10.1016/S0012-365X(99)00132-6
10.1038/s42256-019-0138-9
10.1016/0004-3702(87)90062-2
ContentType Journal Article
Copyright 2024 Elsevier Inc.
Copyright_xml – notice: 2024 Elsevier Inc.
DBID AAYXX
CITATION
DOI 10.1016/j.ijar.2023.109112
DatabaseName CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1873-4731
ExternalDocumentID 10_1016_j_ijar_2023_109112
S0888613X23002438
GroupedDBID --K
--M
.~1
0R~
0SF
1B1
1RT
1~.
1~5
29J
4.4
457
4G.
5GY
5VS
6I.
7-5
71M
8P~
9JN
9JO
AAAKF
AACTN
AAEDT
AAEDW
AAFTH
AAIAV
AAIKJ
AAKOC
AALRI
AAOAW
AAQFI
AAQXK
AARIN
AAXUO
AAYFN
ABAOU
ABBOA
ABFNM
ABJNI
ABMAC
ABUCO
ABVKL
ABXDB
ACDAQ
ACGFS
ACNCT
ACNNM
ACRLP
ACZNC
ADBBV
ADEZE
ADMUD
ADTZH
AEBSH
AECPX
AEKER
AENEX
AEXQZ
AFKWA
AFTJW
AGHFR
AGUBO
AGYEJ
AHHHB
AHJVU
AHZHX
AIALX
AIEXJ
AIGVJ
AIKHN
AITUG
AJOXV
AKRWK
ALMA_UNASSIGNED_HOLDINGS
AMFUW
AMRAJ
AOUOD
APLSM
ARUGR
ASPBG
AVWKF
AXJTR
AZFZN
BJAXD
BKOJK
BLXMC
CS3
EBS
EFJIC
EJD
EO8
EO9
EP2
EP3
F5P
FDB
FEDTE
FGOYB
FIRID
FNPLU
FYGXN
GBLVA
GBOLZ
HAMUX
HVGLF
HZ~
IHE
IXB
J1W
JJJVA
KOM
LG9
LY1
M41
MHUIS
MO0
N9A
NCXOZ
O-L
O9-
OAUVE
OK1
OZT
P-8
P-9
P2P
PC.
Q38
R2-
RIG
ROL
RPZ
SDF
SDG
SES
SEW
SPC
SPCBC
SSB
SSD
SST
SSV
SSW
SSZ
T5K
UHS
WUQ
XPP
~G-
9DU
AATTM
AAXKI
AAYWO
AAYXX
ABWVN
ACLOT
ACRPL
ACVFH
ADCNI
ADNMO
ADVLN
AEIPS
AEUPX
AFJKZ
AFPUW
AGQPQ
AIGII
AIIUN
AKBMS
AKYEP
ANKPU
APXCP
CITATION
EFKBS
EFLBG
~HD
ID FETCH-LOGICAL-c300t-71192fffe5c3c3fe78401a9046f2da2f1f8e0cbf35562f009df573b706a3f1c23
ISICitedReferencesCount 64
ISICitedReferencesURI http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001257248900001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
ISSN 0888-613X
IngestDate Sat Nov 29 04:42:33 EST 2025
Tue Nov 18 21:22:38 EST 2025
Tue Jun 18 08:52:23 EDT 2024
IsPeerReviewed true
IsScholarly true
Keywords Shapley values
SHAP scores
Abductive explanations
Explainable AI (XAI)
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-c300t-71192fffe5c3c3fe78401a9046f2da2f1f8e0cbf35562f009df573b706a3f1c23
ORCID 0000-0002-6632-3086
ParticipantIDs crossref_citationtrail_10_1016_j_ijar_2023_109112
crossref_primary_10_1016_j_ijar_2023_109112
elsevier_sciencedirect_doi_10_1016_j_ijar_2023_109112
PublicationCentury 2000
PublicationDate August 2024
2024-08-00
PublicationDateYYYYMMDD 2024-08-01
PublicationDate_xml – month: 08
  year: 2024
  text: August 2024
PublicationDecade 2020
PublicationTitle International journal of approximate reasoning
PublicationYear 2024
Publisher Elsevier Inc
Publisher_xml – name: Elsevier Inc
References Young, Booth, Simpson, Dutton, Shrapnel (br1700) 2019
Izza, Marques-Silva (br0970) 2021
Ali, Abuhmed, El-Sappagh, Muhammad, Alonso-Moral, Confalonieri, Guidotti, Ser, Rodríguez, Herrera (br0070) 2023; 99
Lundberg, Lee (br1140) 2017
Huang, Izza, Marques-Silva (br0770) 2023
Amgoud (br0100) 2021
Selman, Levesque (br1470) 1990
Cooper, Marques-Silva (br0440) 2021
Ji, Darwiche (br1000) 2023
Zhang, Shi, Yin, Liu, Fang, Li, Zhang, Zhang (br1770) 2022; 12
Ignatiev, Cooper, Siala, Hebrard, Marques-Silva (br0850) 2020
Cooper, Amgoud (br0430) 2023
Cooper, Marques-Silva (br0450) 2023; 316
Darwiche, Ji (br0530) 2022
Dillig, Dillig, McMillan, Aiken (br0590) 2012
Audemard, Koriche, Marquis (br0240) 2020
Niveau, Fargier, Pralet (br1320) 2011
Miller (br1260) 2019; 267
Liu, Liu, Luo, Zhao (br1110) 2022; 42
Huang, Marques-Silva (br0790) 2023
Rodríguez, Lamas, Sanchez, Franchi, Donadello, Tabik, Filliat, Cruz, Montes, Herrera (br1400) 2022; 79
Arenas, Barceló, Bertossi, Monet (br0160) 2021
Zhou (br1790) 2021
Covert, Lundberg, Lee (br0470) 2020
Darwiche (br0500) 2023
Liu, Lorini (br1100) 2023; 33
Frye, Rowat, Feige (br0640) 2020
Shapley (br1500) 1953; 2
Miller (br1250) 1956; 63
C. Molnar, Interpretable machine learning, 2020.
Hight (br0720) 1971; 20
Darwiche, Hirth (br0510) 2020
Huang, Le, Yuan, Xu, Peng (br0730) 2023; 18
Boumazouza, Alili, Mazure, Tabia (br0350) 2021
Carbonnel, Cooper, Marques-Silva (br0400) 2023
Ignatiev, Narodytska, Asher, Marques-Silva (br0880) 2020
Kumar, Venkatasubramanian, Scheidegger, Friedler (br1030) 2020
Quine (br1340) 1952; 59
Strumbelj, Kononenko (br1550) 2010; 11
Datta, Sen, Zick (br0570) 2016
Huang, Izza, Ignatiev, Marques-Silva (br0760) 2021
Marques-Silva (br1170) 2022
Shih, Choi, Darwiche (br1510) 2018
Izza, Ignatiev, Stuckey, Marques-Silva (br0960) 2023
Amgoud, Muller, Trenquier (br0130) 2023
Izza, Ignatiev, Marques-Silva (br0950) 2023
Ladbury, Li, Shiao, Liu, Cristea, Han, Dellinger, Lee, Wang, Fisher (br1050) 2022; 164
Marques-Silva, Ignatiev (br1220) 2022
Loh, Ooi, Seoni, Barua, Molinari, Acharya (br1120) 2022; 226
Yu, Farr, Ignatiev, Stuckey (br1720) 2023
Bassan, Katz (br0280) 2023
Yu, Liu, Su, Han, Duan, Zhang, Liu, Yang, Xu (br1710) 2020; 11
Arenas, Barceló, Bertossi, Monet (br0170) 2023; 24
Darwiche, Marquis (br0550) 2021; 72
Yan, Procaccia (br1690) 2021
Campbell, Roder, Georgantas, Roder (br0390) 2022; 9
Hurault, Marques-Silva (br0830) 2023
Kumar, Scheidegger, Venkatasubramanian, Friedler (br1020) 2021
Olson, La Cava, Orzechowski, Urbanowicz, Moore (br1330) 2017; 10
Roth (br1410) 1988
Ser, Arrieta, Rodríguez, Herrera, Saranti, Holzinger (br1480) 2024; 655
Yu, Ignatiev, Stuckey (br1740) 2023
Reiter (br1370) 1987; 32
Sarvmaili, Guidotti, Monreale, Soares, Sadeghi, Giannotti, Pedreschi, Matwin (br1460) 2022
Strumbelj, Kononenko (br1560) 2014; 41
McCluskey (br1230) 1956; 35
Amgoud (br0090) 2021
Galazzo, Cruciani, Brusini, Salih, Radeva, Storti, Menegaz (br0660) 2022; 39
Alabi, Almangush, Elmusrati, Leivo, Mäkitie (br0040) 2022; 168
Izza, Huang, Ignatiev, Narodytska, Cooper, Marques-Silva (br0930) 2023; 159
Ma, Liu, Wen, Xu, Xu, Wang, Wu, Pan, Zheng, Qin (br1150) 2022
Wäldchen, MacDonald, Hauch, Kutyniok (br1620) 2021; 70
Kam, Brayton (br1010) 1990
Liu, Lorini (br1090) 2022
Lipovetsky, Conklin (br1070) 2001; 17
Ignatiev, Narodytska, Marques-Silva (br0890) 2019
Audemard, Bellart, Bounia, Koriche, Lagniez, Marquis (br0210) 2022
Eiter, Gottlob (br0600) 1995; 42
Ekin, Foldes, Hammer, Hellerstein (br0610) 2000; 211
Arenas, Báez, Barceló, Pérez, Subercaseaux (br0150) 2021
Albini, Long, Dervovic, Magazzeni (br0060) 2022
Boumazouza, Alili, Mazure, Tabia (br0360) 2023
Merrick, Taly (br1240) 2020
Amgoud, Ben-Naim (br0120) 2022
Amgoud, Muller, Trenquier (br0140) 2023
Marques-Silva, Gerspacher, Cooper, Ignatiev, Narodytska (br1190) 2020
Biradar, Izza, Lobo, Viswanathan, Zick (br0300) 2023
Bodria, Rinzivillo, Fadda, Guidotti, Giannotti, Pedreschi (br0330) 2022
Withnell, Zhang, Sun, Guo (br1670) 2021; 22
Ribeiro, Singh, Guestrin (br1390) 2018
Wu, Wu, Barrett (br1680) 2022
Gorji, Rubin (br0690) 2022
Audemard, Bellart, Lagniez, Marquis (br0230) 2023
Baptista, Goebel, Henriques (br0270) 2022; 306
Blake (br0310) 1937
Guidotti, Monreale, Ruggieri, Naretto, Turini, Pedreschi, Giannotti (br0700) 2022
Afchar, Guigue, Hennequin (br0030) 2021
Ribeiro, Singh, Guestrin (br1380) 2016
Brown (br0370) 1990
Arenas, Barceló, Orth, Subercaseaux (br0180) 2022
(br1450) 2019
Ignatiev, Marques-Silva (br0870) 2021
Fryer, Strümke, Nguyen (br0650) 2021; 9
Huang, Izza, Ignatiev, Cooper, Asher, Marques-Silva (br0750) 2022
Sundararajan, Najmi (br1570) 2020
Quine (br1360) 1959; 66
Audemard, Lagniez, Marquis, Szczepanski (br0250) 2023
Wang, Lang, Zuo, Dong, Hu, Xu, Zhang, Wang, Yang, Wong (br1630) 2022
Van den Broeck, Lykov, Schleich, Suciu (br1580) 2021
Liu, Lorini (br1080) 2021
Crama, Hammer (br0480) 2011; vol. 142
Labreuche (br1040) 2022
Jansen, Geleijnse, Van Maaren, Hendriks, Ten Teije, Moncada-Torres (br0980) 2020
Ignatiev, Izza, Stuckey, Marques-Silva (br0860) 2022
Audemard, Bellart, Bounia, Koriche, Lagniez, Marquis (br0200) 2021
Huang, Marques-Silva (br0800) 2023
Nagahisarchoghaei, Nur, Cummins, Nur, Karimi, Nandanwar, Bhattacharyya, Rahimi (br1310) 2023; 12
Darwiche, Marquis (br0540) 2002; 17
Inoguchi, Nohara, Nojiri, Nakashima (br0920) 2021; 11
Slack, Hilgard, Singh, Lakkaraju (br1530) 2021
Voukelatou, Miliou, Giannotti, Pappalardo (br1610) 2022; 11
Darwiche, Marquis (br0560) 2022
de Colnet, Marquis (br0420) 2022
Ignatiev (br0840) 2020
Van den Broeck, Lykov, Schleich, Suciu (br1590) 2022; 74
Frye, de Mijolla, Begley, Cowton, Stanley, Feige (br0630) 2021
Huang, Marques-Silva (br0820) 2023
Audemard, Bellart, Bounia, Koriche, Lagniez, Marquis (br0220) 2022
Friedrich, Gottlob, Nejdl (br0620) 1990
Arrieta, Rodríguez, Ser, Bennetot, Tabik, Barbado, García, Gil-Lopez, Molina, Benjamins, Chatila, Herrera (br0190) 2020; 58
Huang, Cooper, Morgado, Planes, Marques-Silva (br0740) 2023
Rudin, Chen, Chen, Huang, Semenova, Zhong (br1440) 2022; 16
Ignatiev, Narodytska, Marques-Silva (br0900) 2019
Ignatiev, Narodytska, Marques-Silva (br0910) 2019
Amgoud (br0110) 2023; 155
Rudin (br1430) 2019; 1
Gandolfi, Galazzo, Pavan, Cruciani, Valè, Picelli, Storti, Smania, Menegaz (br0670) 2023; 27
Malfa, Michelmore, Zbrzezny, Paoletti, Kwiatkowska (br1160) 2021
Izza, Ignatiev, Marques-Silva (br0940) 2022; 75
Minh, Wang, Li, Nguyen (br1270) 2022; 55
Darwiche (br0490) 2020
Zhang, Weng, Lund (br1780) 2022; 12
Lelis, Guzmán, Belmonte (br1060) 2020; 8
Zarinshenas, Ladbury, McGee, Raz, Erhunmwunsee, Pathak, Glaser, Salgia, Williams, Amini (br1760) 2022; 173
Rozemberczki, Watson, Bayer, Yang, Kiss, Nilsson, Sarkar (br1420) 2022
Watson (br1640) 2022
Béjar, Morgado, Planes, Marques-Silva (br0290) 2023
Goodfellow, Shlens, Szegedy (br0680) 2015
Abchiche-Mimouni, Amgoud, Zehraoui (br0010) 2023
Moncada-Torres, van Maaren, Hendriks, Siesling, Geleijnse (br1290) 2021; 11
Yu, Ignatiev, Stuckey (br1730) 2023
Alam, Xie (br0050) 2022
Demšar, Curk, Erjavec, Gorup, Hočevar, Milutinovič, Možina, Polajnar, Toplak, Starič, Štajdohar, Umek, Žagar, Žbontar, Žitnik, Zupan (br0580) 2013; 14
Adeoye, Zheng, Thomson, Choi, Su (br0020) 2023; 136
Covert, Lee (br0460) 2021
Mothilal, Mahajan, Tan, Sharma (br1300) 2021
SHAP (br1490) 2023
Audemard, Lagniez, Marquis, Szczepanski (br0260) 2023
Winter (br1660) 2002
Jethani, Sudarshan, Covert, Lee, Ranganath (br0990) 2022
Alsinglawi, Alshari, Alorjani, Mubin, Alnajjar, Novoa, Darwish (br0080) 2022; 12
Watson, Gultchin, Taly, Floridi (br1650) 2021; vol. 161
Yu, Ignatiev, Stuckey, Narodytska, Marques-Silva (br1750) 2023
Vilone, Longo (br1600) 2021; 76
Quine (br1350) 1955; 62
Sorayaie Azar, Babaei Rikan, Naemi, Bagherzadeh Mohasefi, Pirnejad, Bagherzadeh Mohasefi, Wiil (br1540) 2022; 22
Huang, Marques-Silva (br0810) 2023
Marques-Silva, Huang (br1210) 2023
Boumazouza, Alili, Mazure, Tabia (br0340) 2020
Guidotti, Monreale, Ruggieri, Turini, Giannotti, Pedreschi (br0710) 2019; 51
Marques-Silva, Gerspacher, Cooper, Ignatiev, Narodytska (br1200) 2021
Marques-Silva (br1180) 2022
Lundberg, Erion, Chen, DeGrave, Prutkin, Nair, Katz, Himmelfarb, Bansal, Lee (br1130) 2020; 2
Blumer, Ehrenfeucht, Haussler, Warmuth (br0320) 1987; 24
Shih, Choi, Darwiche (br1520) 2019
Chen, Song, Wainwright, Jordan (br0410) 2019
Darwiche, Hirth (br0520) 2023; 32
Huang, Marques-Silva (br0780) 2023
Camburu, Giunchiglia, Foerster, Lukasiewicz, Blunsom (br0380) 2020
Bassan (10.1016/j.ijar.2023.109112_br0280) 2023
Liu (10.1016/j.ijar.2023.109112_br1090) 2022
Zhang (10.1016/j.ijar.2023.109112_br1770) 2022; 12
Liu (10.1016/j.ijar.2023.109112_br1080) 2021
Zarinshenas (10.1016/j.ijar.2023.109112_br1760) 2022; 173
Yu (10.1016/j.ijar.2023.109112_br1740)
Young (10.1016/j.ijar.2023.109112_br1700)
Ignatiev (10.1016/j.ijar.2023.109112_br0880) 2020
Darwiche (10.1016/j.ijar.2023.109112_br0540) 2002; 17
Ignatiev (10.1016/j.ijar.2023.109112_br0870) 2021
Amgoud (10.1016/j.ijar.2023.109112_br0090) 2021
Ignatiev (10.1016/j.ijar.2023.109112_br0860) 2022
Crama (10.1016/j.ijar.2023.109112_br0480) 2011; vol. 142
Baptista (10.1016/j.ijar.2023.109112_br0270) 2022; 306
McCluskey (10.1016/j.ijar.2023.109112_br1230) 1956; 35
Arenas (10.1016/j.ijar.2023.109112_br0170) 2023; 24
Ignatiev (10.1016/j.ijar.2023.109112_br0840) 2020
Mothilal (10.1016/j.ijar.2023.109112_br1300) 2021
Ignatiev (10.1016/j.ijar.2023.109112_br0850) 2020
Galazzo (10.1016/j.ijar.2023.109112_br0660) 2022; 39
Huang (10.1016/j.ijar.2023.109112_br0800)
Ignatiev (10.1016/j.ijar.2023.109112_br0890) 2019
Arrieta (10.1016/j.ijar.2023.109112_br0190) 2020; 58
Jansen (10.1016/j.ijar.2023.109112_br0980) 2020
Watson (10.1016/j.ijar.2023.109112_br1640) 2022
Rozemberczki (10.1016/j.ijar.2023.109112_br1420) 2022
Kam (10.1016/j.ijar.2023.109112_br1010) 1990
Strumbelj (10.1016/j.ijar.2023.109112_br1550) 2010; 11
Wäldchen (10.1016/j.ijar.2023.109112_br1620) 2021; 70
Eiter (10.1016/j.ijar.2023.109112_br0600) 1995; 42
Boumazouza (10.1016/j.ijar.2023.109112_br0350) 2021
Bodria (10.1016/j.ijar.2023.109112_br0330) 2022
Ribeiro (10.1016/j.ijar.2023.109112_br1390) 2018
Liu (10.1016/j.ijar.2023.109112_br1110) 2022; 42
Strumbelj (10.1016/j.ijar.2023.109112_br1560) 2014; 41
Yu (10.1016/j.ijar.2023.109112_br1750) 2023
Arenas (10.1016/j.ijar.2023.109112_br0180) 2022
Ji (10.1016/j.ijar.2023.109112_br1000) 2023
Arenas (10.1016/j.ijar.2023.109112_br0160) 2021
Camburu (10.1016/j.ijar.2023.109112_br0380)
Merrick (10.1016/j.ijar.2023.109112_br1240) 2020
Miller (10.1016/j.ijar.2023.109112_br1260) 2019; 267
Abchiche-Mimouni (10.1016/j.ijar.2023.109112_br0010) 2023
Lundberg (10.1016/j.ijar.2023.109112_br1130) 2020; 2
Ignatiev (10.1016/j.ijar.2023.109112_br0900) 2019
Olson (10.1016/j.ijar.2023.109112_br1330) 2017; 10
Amgoud (10.1016/j.ijar.2023.109112_br0120) 2022
Ser (10.1016/j.ijar.2023.109112_br1480) 2024; 655
Marques-Silva (10.1016/j.ijar.2023.109112_br1200) 2021
Quine (10.1016/j.ijar.2023.109112_br1340) 1952; 59
SHAP (10.1016/j.ijar.2023.109112_br1490)
Rudin (10.1016/j.ijar.2023.109112_br1430) 2019; 1
Shapley (10.1016/j.ijar.2023.109112_br1500) 1953; 2
Sorayaie Azar (10.1016/j.ijar.2023.109112_br1540) 2022; 22
Campbell (10.1016/j.ijar.2023.109112_br0390) 2022; 9
Reiter (10.1016/j.ijar.2023.109112_br1370) 1987; 32
Blumer (10.1016/j.ijar.2023.109112_br0320) 1987; 24
Zhang (10.1016/j.ijar.2023.109112_br1780) 2022; 12
Huang (10.1016/j.ijar.2023.109112_br0730) 2023; 18
Goodfellow (10.1016/j.ijar.2023.109112_br0680) 2015
Ma (10.1016/j.ijar.2023.109112_br1150) 2022
Izza (10.1016/j.ijar.2023.109112_br0950) 2023
Quine (10.1016/j.ijar.2023.109112_br1350) 1955; 62
Liu (10.1016/j.ijar.2023.109112_br1100) 2023; 33
Frye (10.1016/j.ijar.2023.109112_br0630) 2021
Chen (10.1016/j.ijar.2023.109112_br0410) 2019
Huang (10.1016/j.ijar.2023.109112_br0750) 2022
Huang (10.1016/j.ijar.2023.109112_br0760) 2021
Darwiche (10.1016/j.ijar.2023.109112_br0520) 2023; 32
Cooper (10.1016/j.ijar.2023.109112_br0450) 2023; 316
Boumazouza (10.1016/j.ijar.2023.109112_br0340) 2020
Rodríguez (10.1016/j.ijar.2023.109112_br1400) 2022; 79
Audemard (10.1016/j.ijar.2023.109112_br0230) 2023
Izza (10.1016/j.ijar.2023.109112_br0930) 2023; 159
Amgoud (10.1016/j.ijar.2023.109112_br0110) 2023; 155
Darwiche (10.1016/j.ijar.2023.109112_br0510) 2020
Gorji (10.1016/j.ijar.2023.109112_br0690) 2022
Marques-Silva (10.1016/j.ijar.2023.109112_br1210)
Loh (10.1016/j.ijar.2023.109112_br1120) 2022; 226
Wu (10.1016/j.ijar.2023.109112_br1680)
Sundararajan (10.1016/j.ijar.2023.109112_br1570) 2020
Huang (10.1016/j.ijar.2023.109112_br0790)
de Colnet (10.1016/j.ijar.2023.109112_br0420) 2022
Fryer (10.1016/j.ijar.2023.109112_br0650) 2021; 9
Carbonnel (10.1016/j.ijar.2023.109112_br0400) 2023
Dillig (10.1016/j.ijar.2023.109112_br0590) 2012
Nagahisarchoghaei (10.1016/j.ijar.2023.109112_br1310) 2023; 12
Moncada-Torres (10.1016/j.ijar.2023.109112_br1290) 2021; 11
Cooper (10.1016/j.ijar.2023.109112_br0430) 2023
Minh (10.1016/j.ijar.2023.109112_br1270) 2022; 55
Niveau (10.1016/j.ijar.2023.109112_br1320) 2011
Sarvmaili (10.1016/j.ijar.2023.109112_br1460) 2022
Yu (10.1016/j.ijar.2023.109112_br1720)
Marques-Silva (10.1016/j.ijar.2023.109112_br1180) 2022
Alsinglawi (10.1016/j.ijar.2023.109112_br0080) 2022; 12
Béjar (10.1016/j.ijar.2023.109112_br0290)
Cooper (10.1016/j.ijar.2023.109112_br0440) 2021
Zhou (10.1016/j.ijar.2023.109112_br1790) 2021
Marques-Silva (10.1016/j.ijar.2023.109112_br1190) 2020
Blake (10.1016/j.ijar.2023.109112_br0310) 1937
Audemard (10.1016/j.ijar.2023.109112_br0260) 2023
Audemard (10.1016/j.ijar.2023.109112_br0240) 2020
Audemard (10.1016/j.ijar.2023.109112_br0250) 2023
Shih (10.1016/j.ijar.2023.109112_br1520) 2019
Shih (10.1016/j.ijar.2023.109112_br1510) 2018
Marques-Silva (10.1016/j.ijar.2023.109112_br1170)
Voukelatou (10.1016/j.ijar.2023.109112_br1610) 2022; 11
(10.1016/j.ijar.2023.109112_br1450) 2019
Afchar (10.1016/j.ijar.2023.109112_br0030) 2021
Huang (10.1016/j.ijar.2023.109112_br0820)
Hurault (10.1016/j.ijar.2023.109112_br0830) 2023
Izza (10.1016/j.ijar.2023.109112_br0940) 2022; 75
Lipovetsky (10.1016/j.ijar.2023.109112_br1070) 2001; 17
Audemard (10.1016/j.ijar.2023.109112_br0220) 2022
Yu (10.1016/j.ijar.2023.109112_br1710) 2020; 11
Darwiche (10.1016/j.ijar.2023.109112_br0500) 2023
Lundberg (10.1016/j.ijar.2023.109112_br1140) 2017
Darwiche (10.1016/j.ijar.2023.109112_br0490) 2020
Quine (10.1016/j.ijar.2023.109112_br1360) 1959; 66
Audemard (10.1016/j.ijar.2023.109112_br0200) 2021
Darwiche (10.1016/j.ijar.2023.109112_br0560) 2022
Van den Broeck (10.1016/j.ijar.2023.109112_br1590) 2022; 74
Miller (10.1016/j.ijar.2023.109112_br1250) 1956; 63
Covert (10.1016/j.ijar.2023.109112_br0470) 2020
Ladbury (10.1016/j.ijar.2023.109112_br1050) 2022; 164
Slack (10.1016/j.ijar.2023.109112_br1530) 2021
Kumar (10.1016/j.ijar.2023.109112_br1020) 2021
Jethani (10.1016/j.ijar.2023.109112_br0990) 2022
Alam (10.1016/j.ijar.2023.109112_br0050) 2022
Hight (10.1016/j.ijar.2023.109112_br0720) 1971; 20
Guidotti (10.1016/j.ijar.2023.109112_br0710) 2019; 51
Arenas (10.1016/j.ijar.2023.109112_br0150) 2021
Brown (10.1016/j.ijar.2023.109112_br0370) 1990
Ignatiev (10.1016/j.ijar.2023.109112_br0910)
Marques-Silva (10.1016/j.ijar.2023.109112_br1220) 2022
Gandolfi (10.1016/j.ijar.2023.109112_br0670) 2023; 27
Yu (10.1016/j.ijar.2023.109112_br1730) 2023
Amgoud (10.1016/j.ijar.2023.109112_br0130) 2023
Amgoud (10.1016/j.ijar.2023.109112_br0140) 2023
Labreuche (10.1016/j.ijar.2023.109112_br1040) 2022
10.1016/j.ijar.2023.109112_br1280
Amgoud (10.1016/j.ijar.2023.109112_br0100) 2021
Darwiche (10.1016/j.ijar.2023.109112_br0550) 2021; 72
Friedrich (10.1016/j.ijar.2023.109112_br0620) 1990
Ali (10.1016/j.ijar.2023.109112_br0070) 2023; 99
Frye (10.1016/j.ijar.2023.109112_br0640) 2020
Huang (10.1016/j.ijar.2023.109112_br0740) 2023
Izza (10.1016/j.ijar.2023.109112_br0970) 2021
Huang (10.1016/j.ijar.2023.109112_br0770) 2023
Huang (10.1016/j.ijar.2023.109112_br0780) 2023
Vilone (10.1016/j.ijar.2023.109112_br1600) 2021; 76
Huang (10.1016/j.ijar.2023.109112_br0810)
Roth (10.1016/j.ijar.2023.109112_br1410) 1988
Van den Broeck (10.1016/j.ijar.2023.109112_br1580) 2021
Alabi (10.1016/j.ijar.2023.109112_br0040) 2022; 168
Yan (10.1016/j.ijar.2023.109112_br1690) 2021
Withnell (10.1016/j.ijar.2023.109112_br1670) 2021; 22
Ribeiro (10.1016/j.ijar.2023.109112_br1380) 2016
Rudin (10.1016/j.ijar.2023.109112_br1440) 2022; 16
Covert (10.1016/j.ijar.2023.109112_br0460) 2021
Audemard (10.1016/j.ijar.2023.109112_br0210) 2022
Datta (10.1016/j.ijar.2023.109112_br0570) 2016
Boumazouza (10.1016/j.ijar.2023.109112_br0360) 2023
Darwiche (10.1016/j.ijar.2023.109112_br0530) 2022
Albini (10.1016/j.ijar.2023.109112_br0060) 2022
Lelis (10.1016/j.ijar.2023.109112_br1060) 2020; 8
Winter (10.1016/j.ijar.2023.109112_br1660) 2002
Kumar (10.1016/j.ijar.2023.109112_br1030) 2020
Selman (10.1016/j.ijar.2023.109112_br1470) 1990
Watson (10.1016/j.ijar.2023.109112_br1650) 2021; vol. 161
Guidotti (10.1016/j.ijar.2023.109112_br0700) 2022
Ekin (10.1016/j.ijar.2023.109112_br0610) 2000; 211
Wang (10.1016/j.ijar.2023.109112_br1630) 2022
Biradar (10.1016/j.ijar.2023.109112_br0300)
Malfa (10.1016/j.ijar.2023.109112_br1160) 2021
Adeoye (10.1016/j.ijar.2023.109112_br0020) 2023; 136
Demšar (10.1016/j.ijar.2023.109112_br0580) 2013; 14
Inoguchi (10.1016/j.ijar.2023.109112_br0920) 2021; 11
Izza (10.1016/j.ijar.2023.109112_br0960)
References_xml – start-page: 9269
  year: 2020
  end-page: 9278
  ident: br1570
  article-title: The many Shapley values for model explanation
  publication-title: ICML
– volume: 17
  start-page: 229
  year: 2002
  end-page: 264
  ident: br0540
  article-title: A knowledge compilation map
  publication-title: J. Artif. Intell. Res.
– volume: 655
  year: 2024
  ident: br1480
  article-title: On generating trustworthy counterfactual explanations
  publication-title: Inf. Sci.
– volume: vol. 161
  start-page: 1382
  year: 2021
  end-page: 1392
  ident: br1650
  article-title: Local explanations via necessity and sufficiency: unifying theory and practice
  publication-title: UAI
– volume: 164
  start-page: 39
  year: 2022
  end-page: 45
  ident: br1050
  article-title: Characterizing impact of positive lymph node number in endometrial cancer using machine-learning: a better prognostic indicator than FIGO staging?
  publication-title: Gynecol. Oncol.
– reference: C. Molnar, Interpretable machine learning, 2020.
– start-page: 652
  year: 2021
  end-page: 663
  ident: br1300
  article-title: Towards unifying feature attribution and counterfactual explanations: different means to the same end
  publication-title: AIES
– start-page: 5461
  year: 2022
  end-page: 5469
  ident: br0220
  article-title: Trading complexity for sparsity in random forest explanations
  publication-title: AAAI
– volume: 168
  year: 2022
  ident: br0040
  article-title: An interpretable machine learning prognostic system for risk stratification in oropharyngeal cancer
  publication-title: Int. J. Med. Inform.
– year: 2020
  ident: br0470
  article-title: Understanding global feature contributions with additive importance measures
  publication-title: NeurIPS
– volume: 99
  year: 2023
  ident: br0070
  article-title: Explainable artificial intelligence (XAI): what we know and what is left to attain trustworthy artificial intelligence
  publication-title: Inf. Fusion
– start-page: 356
  year: 2021
  end-page: 367
  ident: br0760
  article-title: On efficiently explaining graph-based classifiers
  publication-title: KR
– volume: 24
  year: 2023
  ident: br0170
  article-title: On the complexity of SHAP-score-based explanations: tractability via knowledge compilation and non-approximability results
  publication-title: J. Mach. Learn. Res.
– volume: 42
  start-page: 856
  year: 2022
  end-page: 869
  ident: br1110
  article-title: Diagnosis of Parkinson's disease based on SHAP value feature selection
  publication-title: Biocybern. Biomed. Eng.
– volume: 12
  start-page: 237
  year: 2022
  ident: br1780
  article-title: Applications of explainable artificial intelligence in diagnosis and surgery
  publication-title: Diagnostics
– year: 2021
  ident: br1790
  article-title: Machine Learning
– start-page: 127
  year: 2023
  end-page: 135
  ident: br0400
  article-title: Tractable explaining of multivariate decision trees
  publication-title: KR
– start-page: 5719
  year: 2022
  end-page: 5728
  ident: br0750
  article-title: Tractable explanations for d-DNNF classifiers
  publication-title: AAAI
– start-page: 5751
  year: 2021
  end-page: 5759
  ident: br1690
  article-title: If you like Shapley then you'll love the core
  publication-title: AAAI
– start-page: 2025
  year: 2002
  end-page: 2054
  ident: br1660
  article-title: The Shapley value
  publication-title: Handbook of Game Theory with Economic Applications, vol. 3
– start-page: 5154
  year: 2020
  end-page: 5158
  ident: br0840
  article-title: Towards trustable explainable AI
  publication-title: IJCAI
– year: 2021
  ident: br0630
  article-title: Shapley explainability on the data manifold
  publication-title: ICLR
– volume: 51
  year: 2019
  ident: br0710
  article-title: A survey of methods for explaining black box models
  publication-title: ACM Comput. Surv.
– start-page: 1135
  year: 2016
  end-page: 1144
  ident: br1380
  article-title: “Why should I trust you?”: explaining the predictions of any classifier
  publication-title: KDD
– start-page: 1100
  year: 2023
  end-page: 1108
  ident: br0780
  article-title: From decision trees to explained decision sets
  publication-title: ECAI
– start-page: 4699
  year: 2023
  end-page: 4711
  ident: br0250
  article-title: Computing abductive explanations for boosted trees
  publication-title: AISTATS
– start-page: 6900
  year: 2023
  end-page: 6904
  ident: br0950
  article-title: On tackling explanation redundancy in decision trees (extended abstract)
  publication-title: IJCAI
– volume: 79
  start-page: 58
  year: 2022
  end-page: 83
  ident: br1400
  article-title: Explainable neural-symbolic learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use case
  publication-title: Inf. Fusion
– volume: 1
  start-page: 206
  year: 2019
  end-page: 215
  ident: br1430
  article-title: Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead
  publication-title: Nat. Mach. Intell.
– year: 2019
  ident: br1450
  publication-title: Explainable AI: Interpreting, Explaining and Visualizing Deep Learning
– volume: 27
  start-page: 263
  year: 2023
  end-page: 273
  ident: br0670
  article-title: eXplainable AI allows predicting upper limb rehabilitation outcomes in sub-acute stroke patients
  publication-title: IEEE J. Biomed. Health Inform.
– start-page: 12342
  year: 2022
  end-page: 12350
  ident: br1220
  article-title: Delivering trustworthy AI through formal XAI
  publication-title: AAAI
– start-page: 846
  year: 2020
  end-page: 867
  ident: br0850
  article-title: Towards formal fairness in azmachine learning
  publication-title: CP
– volume: 24
  start-page: 377
  year: 1987
  end-page: 380
  ident: br0320
  article-title: Occam's razor
  publication-title: Inf. Process. Lett.
– year: 2023
  ident: br1210
  article-title: Explainability is NOT a game
– year: 2022
  ident: br1460
  article-title: A modularized framework for explaining black box classifiers for text data
  publication-title: CCAI
– volume: 11
  year: 2022
  ident: br1610
  article-title: Understanding peace through the world news
  publication-title: EPJ Data Sci.
– volume: 17
  start-page: 319
  year: 2001
  end-page: 330
  ident: br1070
  article-title: Analysis of regression in game theory approach
  publication-title: Appl. Stoch. Models Bus. Ind.
– year: 2023
  ident: br0300
  article-title: Axiomatic aggregations of abductive explanations
– start-page: 5718
  year: 2022
  end-page: 5721
  ident: br0560
  article-title: On quantifying literals in Boolean logic and its applications to explainable AI (extended abstract)
  publication-title: IJCAI
– start-page: 11690
  year: 2021
  end-page: 11701
  ident: br0150
  article-title: Foundations of symbolic languages for model interpretability
  publication-title: NeurIPS
– start-page: 76
  year: 2021
  end-page: 86
  ident: br0030
  article-title: Towards rigorous interpretations: a formalisation of feature attribution
  publication-title: ICML
– volume: 58
  start-page: 82
  year: 2020
  end-page: 115
  ident: br0190
  article-title: Explainable artificial intelligence (XAI): concepts, taxonomies, opportunities and challenges toward responsible AI
  publication-title: Inf. Fusion
– start-page: 69
  year: 1990
  end-page: 78
  ident: br0620
  article-title: Hypothesis classification, abductive diagnosis and therapy
  publication-title: ESE
– start-page: 19
  year: 2021
  end-page: 31
  ident: br0100
  article-title: Non-monotonic explanation functions
  publication-title: ECSQARU
– start-page: 167
  year: 2023
  end-page: 186
  ident: br0740
  article-title: Feature necessity & relevancy in ML classifier explanations
  publication-title: TACAS
– volume: 16
  start-page: 1
  year: 2022
  end-page: 85
  ident: br1440
  article-title: Interpretable machine learning: fundamental principles and 10 grand challenges
  publication-title: Stat. Surv.
– start-page: 4123
  year: 2023
  end-page: 4131
  ident: br1750
  article-title: Eliminating the impossible, whatever remains must be true: on extracting and applying background knowledge in the context of formal explanations
  publication-title: AAAI
– volume: 136
  year: 2023
  ident: br0020
  article-title: Explainable ensemble learning model improves identification of candidates for oral cancer screening
  publication-title: Oral Oncol.
– start-page: 2584
  year: 2021
  end-page: 2591
  ident: br0970
  article-title: On explaining random forests with SAT
  publication-title: IJCAI
– start-page: 106
  year: 2023
  end-page: 122
  ident: br1000
  article-title: A new class of explanations for classifiers with non-binary features
  publication-title: JELIA
– start-page: 343
  year: 1990
  end-page: 348
  ident: br1470
  article-title: Abductive and default reasoning: a computational core
  publication-title: AAAI
– start-page: 6670
  year: 2021
  end-page: 6678
  ident: br0160
  article-title: The tractability of SHAP-score-based explanations for classification over deterministic and decomposable Boolean circuits
  publication-title: AAAI
– start-page: 1511
  year: 2019
  end-page: 1519
  ident: br0890
  article-title: Abduction-based explanations for machine learning models
  publication-title: AAAI
– year: 2023
  ident: br0810
  article-title: A refutation of Shapley values for explainability
– start-page: 1
  year: 2022
  end-page: 11
  ident: br1630
  article-title: The radiomic-clinical model using the SHAP method for assessing the treatment response of whole-brain radiotherapy: a multicentric study
  publication-title: Eur. Radiol.
– start-page: 3104
  year: 2023
  end-page: 3111
  ident: br0140
  article-title: Leveraging argumentation for generating robust sample-based explanations
  publication-title: IJCAI
– start-page: 295
  year: 2022
  end-page: 308
  ident: br1040
  article-title: Explanation of pseudo-Boolean functions using cooperative game theory and prime implicants
  publication-title: SUM
– start-page: 712
  year: 2020
  end-page: 720
  ident: br0510
  article-title: On the reasons behind decisions
  publication-title: ECAI
– year: 2015
  ident: br0680
  article-title: Explaining and harnessing adversarial examples
  publication-title: ICLR
– volume: 35
  start-page: 1417
  year: 1956
  end-page: 1444
  ident: br1230
  article-title: Minimization of Boolean functions
  publication-title: Bell Syst. Tech. J.
– volume: 66
  start-page: 755
  year: 1959
  end-page: 760
  ident: br1360
  article-title: On cores and prime implicants of truth functions
  publication-title: Am. Math. Mon.
– year: 2023
  ident: br0960
  article-title: Delivering inflated explanations
– start-page: 5572
  year: 2022
  end-page: 5579
  ident: br1420
  article-title: The Shapley value in machine learning
  publication-title: IJCAI
– start-page: 4765
  year: 2017
  end-page: 4774
  ident: br1140
  article-title: A unified approach to interpreting model predictions
  publication-title: NeurIPS
– volume: 39
  start-page: 99
  year: 2022
  end-page: 116
  ident: br0660
  article-title: Explainable artificial intelligence for magnetic resonance imaging aging brainprints: grounds and challenges
  publication-title: IEEE Signal Process. Mag.
– volume: 11
  start-page: 1
  year: 2021
  end-page: 12
  ident: br0920
  article-title: Association of serum bilirubin levels with risk of cancer development and total death
  publication-title: Sci. Rep.
– volume: 22
  year: 2021
  ident: br1670
  article-title: Xomivae: an interpretable deep learning model for cancer classification using high-dimensional omics data
  publication-title: Brief. Bioinform.
– year: 2021
  ident: br0440
  article-title: On the tractability of explaining decisions of classifiers
  publication-title: CP
– volume: 75
  start-page: 261
  year: 2022
  end-page: 321
  ident: br0940
  article-title: On tackling explanation redundancy in decision trees
  publication-title: J. Artif. Intell. Res.
– volume: 211
  start-page: 27
  year: 2000
  end-page: 51
  ident: br0610
  article-title: Equational characterizations of Boolean function classes
  publication-title: Discrete Math.
– volume: 11
  start-page: 6968
  year: 2021
  ident: br1290
  article-title: Explainable machine learning can outperform Cox regression predictions and provide insights in breast cancer survival
  publication-title: Sci. Rep.
– year: 2022
  ident: br0180
  article-title: On computing probabilistic explanations for decision trees
  publication-title: NeurIPS
– start-page: 598
  year: 2016
  end-page: 617
  ident: br0570
  article-title: Algorithmic transparency via quantitative input influence: theory and experiments with learning systems
  publication-title: IEEE S&P
– volume: 10
  start-page: 1
  year: 2017
  end-page: 13
  ident: br1330
  article-title: PMLB: a large benchmark suite for machine learning evaluation and comparison
  publication-title: BioData Min.
– start-page: 5582
  year: 2022
  end-page: 5591
  ident: br0530
  article-title: On the computation of necessary and sufficient explanations
  publication-title: AAAI
– start-page: 307
  year: 2020
  end-page: 311
  ident: br0980
  article-title: Machine learning explainability in breast cancer survival
  publication-title: Digital Personalized Health and Medicine
– year: 2023
  ident: br1740
  article-title: On formal feature attribution and its approximation
– volume: 2
  start-page: 307
  year: 1953
  end-page: 317
  ident: br1500
  article-title: A value for
  publication-title: Contrib. Theor. Games
– start-page: 2658
  year: 2021
  end-page: 2665
  ident: br1160
  article-title: On guaranteed optimal robust explanations for NLP models
  publication-title: IJCAI
– start-page: 5660
  year: 2022
  end-page: 5667
  ident: br0690
  article-title: Sufficient reasons for classifier decisions in the presence of domain constraints
  publication-title: AAAI
– volume: 22
  start-page: 345
  year: 2022
  ident: br1540
  article-title: Application of machine learning techniques for predicting survival in ovarian cancer
  publication-title: BMC Med. Inform. Decis. Mak.
– volume: 159
  year: 2023
  ident: br0930
  article-title: On computing probabilistic abductive explanations
  publication-title: Int. J. Approx. Reason.
– volume: 74
  start-page: 851
  year: 2022
  end-page: 886
  ident: br1590
  article-title: On the tractability of SHAP explanations
  publication-title: J. Artif. Intell. Res.
– start-page: 1
  year: 2023
  end-page: 11
  ident: br0500
  article-title: Logic for explainable AI
  publication-title: LICS
– start-page: 24
  year: 2022
  end-page: 104
  ident: br1180
  article-title: Logic-based explainability in machine learning
  publication-title: Reasoning Web
– start-page: 120
  year: 2021
  end-page: 129
  ident: br0350
  article-title: ASTERYX: a model-agnostic sat-based approach for symbolic and score-based explanations
  publication-title: CIKM
– year: 2023
  ident: br0790
  article-title: From robustness to explainability and back again
– start-page: 342
  year: 2023
  end-page: 349
  ident: br0360
  article-title: Symbolic explanations for multi-label classification
  publication-title: ICAART
– start-page: 187
  year: 2023
  end-page: 207
  ident: br0280
  article-title: Towards formal XAI: formally approximate minimal explanations of neural networks
  publication-title: TACAS
– start-page: 1083
  year: 2022
  end-page: 1094
  ident: br1640
  article-title: Rational Shapley values
  publication-title: FAccT
– volume: 9
  year: 2022
  ident: br0390
  article-title: Exact Shapley values for local and model-true explanations of decision tree ensembles
  publication-title: Mach. Learn. Appl.
– volume: 55
  start-page: 3503
  year: 2022
  end-page: 3568
  ident: br1270
  article-title: Explainable artificial intelligence: a comprehensive review
  publication-title: Artif. Intell. Rev.
– start-page: 7469
  year: 2021
  end-page: 7479
  ident: br1200
  article-title: Explanations for monotonic classifiers
  publication-title: ICML
– volume: 267
  start-page: 1
  year: 2019
  end-page: 38
  ident: br1260
  article-title: Explanation in artificial intelligence: insights from the social sciences
  publication-title: Artif. Intell.
– year: 1990
  ident: br0370
  article-title: Boolean Reasoning: the Logic of Boolean Equations
– volume: 226
  year: 2022
  ident: br1120
  article-title: Application of explainable artificial intelligence for healthcare: a systematic review of the last decade (2011-2022)
  publication-title: Comput. Methods Programs Biomed.
– start-page: 1527
  year: 2018
  end-page: 1535
  ident: br1390
  article-title: Anchors: high-precision model-agnostic explanations
  publication-title: AAAI
– start-page: 1
  year: 2022
  end-page: 11
  ident: br1150
  article-title: Predicting the molecular subtype of breast cancer and identifying interpretable imaging features using machine learning algorithms
  publication-title: Eur. Radiol.
– start-page: 643
  year: 2022
  end-page: 650
  ident: br0210
  article-title: On preferred abductive explanations for decision trees and random forests
  publication-title: IJCAI
– start-page: 636
  year: 2022
  end-page: 642
  ident: br0120
  article-title: Axiomatic foundations of explainability
  publication-title: IJCAI
– start-page: 3776
  year: 2022
  end-page: 3785
  ident: br0860
  article-title: Using MaxSAT for efficient explanations of tree ensembles
  publication-title: AAAI
– start-page: 5103
  year: 2018
  end-page: 5111
  ident: br1510
  article-title: A symbolic approach to explaining Bayesian network classifiers
  publication-title: IJCAI
– start-page: 3432
  year: 2023
  end-page: 3441
  ident: br0230
  article-title: Computing abductive explanations for boosted regression trees
  publication-title: IJCAI
– start-page: 117
  year: 2023
  end-page: 124
  ident: br0260
  article-title: On contrastive explanations for tree-based classifiers
  publication-title: ECAI
– start-page: 302
  year: 2021
  end-page: 321
  ident: br1080
  article-title: A logic for binary classifiers and their explanation
  publication-title: CLAR
– volume: 63
  start-page: 81
  year: 1956
  end-page: 97
  ident: br1250
  article-title: The magical number seven, plus or minus two: some limits on our capacity for processing information
  publication-title: Psychol. Rev.
– year: 2023
  ident: br1730
  article-title: From formal boosted tree explanations to interpretable rule sets
  publication-title: CP
– year: 2023
  ident: br1490
  article-title: Shap impact
– start-page: 95
  year: 2022
  end-page: 100
  ident: br0050
  article-title: Appley: approximate Shapley value for model explainability in linear time
  publication-title: Big Data
– volume: 20
  start-page: 923
  year: 1971
  end-page: 925
  ident: br0720
  article-title: Minimal input solutions
  publication-title: IEEE Trans. Comput.
– year: 2023
  ident: br0800
  article-title: The inadequacy of Shapley values for explainability
– start-page: 26598
  year: 2021
  end-page: 26608
  ident: br1020
  article-title: Shapley residuals: quantifying the limits of the Shapley value for explanations
  publication-title: NeurIPS
– start-page: 5491
  year: 2020
  end-page: 5500
  ident: br1030
  article-title: Problems with Shapley-value-based explanations as feature importance measures
  publication-title: ICML
– year: 2022
  ident: br0330
  article-title: Explaining black box with visual exploration of latent space
  publication-title: EuroVis – Short Papers
– start-page: 15857
  year: 2019
  end-page: 15867
  ident: br0900
  article-title: On relating explanations and adversarial examples
  publication-title: NeurIPS
– volume: 2
  start-page: 56
  year: 2020
  end-page: 67
  ident: br1130
  article-title: From local explanations to global understanding with explainable AI for trees
  publication-title: Nat. Mach. Intell.
– start-page: 1054
  year: 2022
  end-page: 1070
  ident: br0060
  article-title: Counterfactual Shapley additive explanations
  publication-title: FACCT
– start-page: 7966
  year: 2019
  end-page: 7974
  ident: br1520
  article-title: Compiling Bayesian network classifiers into decision graphs
  publication-title: AAAI
– start-page: 335
  year: 2020
  end-page: 355
  ident: br0880
  article-title: From contrastive to abductive explanations and back again
  publication-title: AIxIA
– volume: 11
  start-page: 95
  year: 2020
  end-page: 102
  ident: br1710
  article-title: Copy number variation in plasma as a tool for lung cancer prediction using extreme gradient boosting (XGBoost) classifier
  publication-title: Thorac. Cancer
– year: 2023
  ident: br1720
  article-title: Anytime approximate formal feature attribution
– volume: 173
  start-page: 10
  year: 2022
  end-page: 18
  ident: br1760
  article-title: Machine learning to refine prognostic and predictive nodal burden thresholds for post-operative radiotherapy in completely resected stage III-N2 non-small cell lung cancer
  publication-title: Radiother. Oncol.
– volume: 12
  start-page: 1
  year: 2022
  end-page: 10
  ident: br0080
  article-title: An explainable machine learning framework for lung cancer hospital length of stay prediction
  publication-title: Sci. Rep.
– volume: 33
  start-page: 485
  year: 2023
  end-page: 515
  ident: br1100
  article-title: A unified logical framework for explanations in classifier systems
  publication-title: J. Log. Comput.
– start-page: 9391
  year: 2021
  end-page: 9404
  ident: br1530
  article-title: Reliable post hoc explanations: modeling uncertainty in explainability
  publication-title: NeurIPS
– start-page: 394
  year: 2012
  end-page: 409
  ident: br0590
  article-title: Minimum satisfying assignments for SMT
  publication-title: CAV
– volume: 12
  start-page: 1092
  year: 2023
  ident: br1310
  article-title: An empirical survey on explainable ai technologies: recent trends, use-cases, and categories from technical and application perspectives
  publication-title: Electronics
– volume: 14
  start-page: 2349
  year: 2013
  end-page: 2353
  ident: br0580
  article-title: Orange: data mining toolbox in python
  publication-title: J. Mach. Learn. Res.
– volume: 306
  year: 2022
  ident: br0270
  article-title: Relation between prognostics predictor evaluation metrics and local interpretability SHAP values
  publication-title: Artif. Intell.
– start-page: 791
  year: 2021
  end-page: 795
  ident: br0090
  article-title: Explaining black-box classification models with arguments
  publication-title: ICTAI
– start-page: 17
  year: 2020
  end-page: 38
  ident: br1240
  article-title: The explanation game: explaining machine learning models using Shapley values
  publication-title: CDMAKE
– volume: 11
  start-page: 1
  year: 2010
  end-page: 18
  ident: br1550
  article-title: An efficient explanation of individual classifications using game theory
  publication-title: J. Mach. Learn. Res.
– start-page: 229
  year: 2020
  end-page: 243
  ident: br0490
  article-title: Three modern roles for logic in AI
  publication-title: PODS
– start-page: 838
  year: 2020
  end-page: 849
  ident: br0240
  article-title: On tractable XAI queries based on compiled representations
  publication-title: KR
– year: 2022
  ident: br1680
  article-title: VeriX: towards verified explainability of deep neural networks
– volume: 12
  year: 2022
  ident: br1770
  article-title: A machine learning model based on ultrasound image features to assess the risk of sentinel lymph node metastasis in breast cancer patients: applications of scikit-learn and SHAP
  publication-title: Front. Oncol.
– year: 2022
  ident: br1170
  article-title: Logic-based explainability in machine learning
– start-page: 270
  year: 2020
  end-page: 277
  ident: br0340
  article-title: A symbolic approach for counterfactual explanations
  publication-title: SUM
– start-page: 469
  year: 2023
  end-page: 476
  ident: br0430
  article-title: Abductive explanations of classifiers under constraints: complexity and properties
  publication-title: ECAI
– volume: 41
  start-page: 647
  year: 2014
  end-page: 665
  ident: br1560
  article-title: Explaining prediction models and individual predictions with feature contributions
  publication-title: Knowl. Inf. Syst.
– start-page: 74
  year: 2021
  end-page: 86
  ident: br0200
  article-title: On the computational intelligibility of Boolean classifiers
  publication-title: KR
– start-page: 51
  year: 2023
  end-page: 67
  ident: br0830
  article-title: Certified logic-based explainable AI - the case of monotonic classifiers
  publication-title: TAP
– start-page: 158
  year: 2022
  end-page: 174
  ident: br1090
  article-title: A logic of “black box” classifier systems
  publication-title: WoLLIC
– start-page: 3996
  year: 2023
  end-page: 4006
  ident: br0770
  article-title: Solving explainability queries with quantification: the case of feature relevancy
  publication-title: AAAI
– volume: 32
  start-page: 57
  year: 1987
  end-page: 95
  ident: br1370
  article-title: A theory of diagnosis from first principles
  publication-title: Artif. Intell.
– year: 2020
  ident: br0380
  article-title: The struggles of feature-based explanations: Shapley values vs. minimal sufficient subsets
– volume: 8
  start-page: 18394
  year: 2020
  end-page: 18407
  ident: br1060
  article-title: Non-invasive meningitis diagnosis using decision trees
  publication-title: IEEE Access
– year: 1988
  ident: br1410
  article-title: The Shapley Value: Essays in Honor of Lloyd S. Shapley
– start-page: 251
  year: 2021
  end-page: 269
  ident: br0870
  article-title: SAT-based rigorous explanations for decision lists
  publication-title: SAT
– year: 2019
  ident: br1700
  article-title: Deep neural network or dermatologist?
– start-page: 2367
  year: 2023
  end-page: 2369
  ident: br0010
  article-title: Explainable ensemble classification model based on argumentation
  publication-title: AAMAS
– year: 2023
  ident: br0290
  article-title: On logic-based explainability with partially specified inputs
– start-page: 137
  year: 2011
  end-page: 171
  ident: br1320
  article-title: Representing CSPS with set-labeled diagrams: a compilation map
  publication-title: Graph Structures for Knowledge Representation and Reasoning: Second International Workshop
– volume: 72
  start-page: 285
  year: 2021
  end-page: 328
  ident: br0550
  article-title: On quantifying literals in Boolean logic and its applications to explainable AI
  publication-title: J. Artif. Intell. Res.
– start-page: 6505
  year: 2021
  end-page: 6513
  ident: br1580
  article-title: On the tractability of SHAP explanations
  publication-title: AAAI
– start-page: 1
  year: 2022
  end-page: 38
  ident: br0700
  article-title: Stable and actionable explanations of black-box models through factual and counterfactual rules
  publication-title: Data Min. Knowl. Discov.
– year: 2019
  ident: br0910
  article-title: On validating, repairing and refining heuristic ML explanations
– year: 2020
  ident: br1190
  article-title: Explaining naive Bayes and other linear classifiers with polynomial time and delay
  publication-title: NeurIPS
– volume: 316
  year: 2023
  ident: br0450
  article-title: Tractability of explaining classifier decisions
  publication-title: Artif. Intell.
– volume: 155
  start-page: 40
  year: 2023
  end-page: 65
  ident: br0110
  article-title: Explaining black-box classifiers: properties and functions
  publication-title: Int. J. Approx. Reason.
– volume: 62
  start-page: 627
  year: 1955
  end-page: 631
  ident: br1350
  article-title: A way to simplify truth functions
  publication-title: Am. Math. Mon.
– year: 1990
  ident: br1010
  article-title: Multi-Valued Decision Diagrams
– year: 2020
  ident: br0640
  article-title: Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability
  publication-title: NeurIPS
– volume: 76
  start-page: 89
  year: 2021
  end-page: 106
  ident: br1600
  article-title: Notions of explainability and evaluation approaches for explainable artificial intelligence
  publication-title: Inf. Fusion
– volume: 9
  start-page: 144352
  year: 2021
  end-page: 144360
  ident: br0650
  article-title: Shapley values for feature selection: the good, the bad, and the axioms
  publication-title: IEEE Access
– year: 1937
  ident: br0310
  article-title: Canonical expressions in Boolean algebra
– year: 2019
  ident: br0410
  article-title: L-Shapley and C-Shapley: efficient model interpretation for structured data
  publication-title: ICLR
– volume: 70
  start-page: 351
  year: 2021
  end-page: 387
  ident: br1620
  article-title: The computational complexity of understanding binary classifier decisions
  publication-title: J. Artif. Intell. Res.
– start-page: 2373
  year: 2023
  end-page: 2375
  ident: br0130
  article-title: Argument-based explanation functions
  publication-title: AAMAS
– start-page: 2583
  year: 2022
  end-page: 2590
  ident: br0420
  article-title: On the complexity of enumerating prime implicants from decision-DNNF circuits
  publication-title: IJCAI
– volume: 32
  start-page: 63
  year: 2023
  end-page: 88
  ident: br0520
  article-title: On the (complete) reasons behind decisions
  publication-title: J. Log. Lang. Inf.
– start-page: 3457
  year: 2021
  end-page: 3465
  ident: br0460
  article-title: Improving KernelSHAP: practical Shapley value estimation using linear regression
  publication-title: AISTATS
– year: 2023
  ident: br0820
  article-title: Refutation of Shapley values for XAI – additional evidence
– volume: 42
  start-page: 3
  year: 1995
  end-page: 42
  ident: br0600
  article-title: The complexity of logic-based abduction
  publication-title: J. ACM
– volume: vol. 142
  year: 2011
  ident: br0480
  article-title: Boolean Functions - Theory, Algorithms, and Applications
  publication-title: Encyclopedia of Mathematics and Its Applications
– volume: 18
  year: 2023
  ident: br0730
  article-title: Machine learning for prediction of in-hospital mortality in lung cancer patients admitted to intensive care unit
  publication-title: PLoS ONE
– year: 2022
  ident: br0990
  article-title: FastSHAP: real-time Shapley value estimation
  publication-title: ICLR
– volume: 59
  start-page: 521
  year: 1952
  end-page: 531
  ident: br1340
  article-title: The problem of simplifying truth functions
  publication-title: Am. Math. Mon.
– start-page: 394
  year: 2012
  ident: 10.1016/j.ijar.2023.109112_br0590
  article-title: Minimum satisfying assignments for SMT
– start-page: 9269
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br1570
  article-title: The many Shapley values for model explanation
– volume: 11
  start-page: 1
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0920
  article-title: Association of serum bilirubin levels with risk of cancer development and total death
  publication-title: Sci. Rep.
  doi: 10.1038/s41598-021-92442-2
– start-page: 636
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0120
  article-title: Axiomatic foundations of explainability
– volume: 316
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0450
  article-title: Tractability of explaining classifier decisions
  publication-title: Artif. Intell.
  doi: 10.1016/j.artint.2022.103841
– year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0630
  article-title: Shapley explainability on the data manifold
– volume: 66
  start-page: 755
  year: 1959
  ident: 10.1016/j.ijar.2023.109112_br1360
  article-title: On cores and prime implicants of truth functions
  publication-title: Am. Math. Mon.
  doi: 10.1080/00029890.1959.11989404
– start-page: 1100
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0780
  article-title: From decision trees to explained decision sets
– volume: 22
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1670
  article-title: Xomivae: an interpretable deep learning model for cancer classification using high-dimensional omics data
  publication-title: Brief. Bioinform.
  doi: 10.1093/bib/bbab315
– ident: 10.1016/j.ijar.2023.109112_br0810
– year: 2019
  ident: 10.1016/j.ijar.2023.109112_br1450
– ident: 10.1016/j.ijar.2023.109112_br0290
– start-page: 2584
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0970
  article-title: On explaining random forests with SAT
– start-page: 2025
  year: 2002
  ident: 10.1016/j.ijar.2023.109112_br1660
  article-title: The Shapley value
  doi: 10.1016/S1574-0005(02)03016-3
– start-page: 1135
  year: 2016
  ident: 10.1016/j.ijar.2023.109112_br1380
  article-title: “Why should I trust you?”: explaining the predictions of any classifier
– ident: 10.1016/j.ijar.2023.109112_br0380
– volume: 17
  start-page: 229
  year: 2002
  ident: 10.1016/j.ijar.2023.109112_br0540
  article-title: A knowledge compilation map
  publication-title: J. Artif. Intell. Res.
  doi: 10.1613/jair.989
– start-page: 3104
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0140
  article-title: Leveraging argumentation for generating robust sample-based explanations
– start-page: 1
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1150
  article-title: Predicting the molecular subtype of breast cancer and identifying interpretable imaging features using machine learning algorithms
  publication-title: Eur. Radiol.
– year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0330
  article-title: Explaining black box with visual exploration of latent space
– volume: 24
  start-page: 377
  year: 1987
  ident: 10.1016/j.ijar.2023.109112_br0320
  article-title: Occam's razor
  publication-title: Inf. Process. Lett.
  doi: 10.1016/0020-0190(87)90114-1
– volume: 62
  start-page: 627
  year: 1955
  ident: 10.1016/j.ijar.2023.109112_br1350
  article-title: A way to simplify truth functions
  publication-title: Am. Math. Mon.
  doi: 10.1080/00029890.1955.11988710
– start-page: 69
  year: 1990
  ident: 10.1016/j.ijar.2023.109112_br0620
  article-title: Hypothesis classification, abductive diagnosis and therapy
– start-page: 76
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0030
  article-title: Towards rigorous interpretations: a formalisation of feature attribution
– volume: vol. 142
  year: 2011
  ident: 10.1016/j.ijar.2023.109112_br0480
  article-title: Boolean Functions - Theory, Algorithms, and Applications
– start-page: 5718
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0560
  article-title: On quantifying literals in Boolean logic and its applications to explainable AI (extended abstract)
– volume: 173
  start-page: 10
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1760
  article-title: Machine learning to refine prognostic and predictive nodal burden thresholds for post-operative radiotherapy in completely resected stage III-N2 non-small cell lung cancer
  publication-title: Radiother. Oncol.
  doi: 10.1016/j.radonc.2022.05.019
– start-page: 712
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0510
  article-title: On the reasons behind decisions
– volume: 70
  start-page: 351
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1620
  article-title: The computational complexity of understanding binary classifier decisions
  publication-title: J. Artif. Intell. Res.
– start-page: 74
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0200
  article-title: On the computational intelligibility of Boolean classifiers
– volume: 9
  start-page: 144352
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0650
  article-title: Shapley values for feature selection: the good, the bad, and the axioms
  publication-title: IEEE Access
  doi: 10.1109/ACCESS.2021.3119110
– start-page: 3432
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0230
  article-title: Computing abductive explanations for boosted regression trees
– year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0990
  article-title: FastSHAP: real-time Shapley value estimation
– volume: 655
  year: 2024
  ident: 10.1016/j.ijar.2023.109112_br1480
  article-title: On generating trustworthy counterfactual explanations
  publication-title: Inf. Sci.
– start-page: 120
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0350
  article-title: ASTERYX: a model-agnostic sat-based approach for symbolic and score-based explanations
– volume: 32
  start-page: 63
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0520
  article-title: On the (complete) reasons behind decisions
  publication-title: J. Log. Lang. Inf.
  doi: 10.1007/s10849-022-09377-8
– start-page: 3457
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0460
  article-title: Improving KernelSHAP: practical Shapley value estimation using linear regression
– start-page: 5660
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0690
  article-title: Sufficient reasons for classifier decisions in the presence of domain constraints
– start-page: 158
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1090
  article-title: A logic of “black box” classifier systems
– start-page: 307
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0980
  article-title: Machine learning explainability in breast cancer survival
– start-page: 343
  year: 1990
  ident: 10.1016/j.ijar.2023.109112_br1470
  article-title: Abductive and default reasoning: a computational core
– volume: 58
  start-page: 82
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0190
  article-title: Explainable artificial intelligence (XAI): concepts, taxonomies, opportunities and challenges toward responsible AI
  publication-title: Inf. Fusion
  doi: 10.1016/j.inffus.2019.12.012
– start-page: 26598
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1020
  article-title: Shapley residuals: quantifying the limits of the Shapley value for explanations
– start-page: 51
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0830
  article-title: Certified logic-based explainable AI - the case of monotonic classifiers
– ident: 10.1016/j.ijar.2023.109112_br1680
– volume: 12
  start-page: 1
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0080
  article-title: An explainable machine learning framework for lung cancer hospital length of stay prediction
  publication-title: Sci. Rep.
  doi: 10.1038/s41598-021-04608-7
– volume: 16
  start-page: 1
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1440
  article-title: Interpretable machine learning: fundamental principles and 10 grand challenges
  publication-title: Stat. Surv.
  doi: 10.1214/21-SS133
– start-page: 15857
  year: 2019
  ident: 10.1016/j.ijar.2023.109112_br0900
  article-title: On relating explanations and adversarial examples
– volume: 14
  start-page: 2349
  year: 2013
  ident: 10.1016/j.ijar.2023.109112_br0580
  article-title: Orange: data mining toolbox in python
  publication-title: J. Mach. Learn. Res.
– volume: 22
  start-page: 345
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1540
  article-title: Application of machine learning techniques for predicting survival in ovarian cancer
  publication-title: BMC Med. Inform. Decis. Mak.
  doi: 10.1186/s12911-022-02087-y
– start-page: 24
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1180
  article-title: Logic-based explainability in machine learning
– volume: 10
  start-page: 1
  year: 2017
  ident: 10.1016/j.ijar.2023.109112_br1330
  article-title: PMLB: a large benchmark suite for machine learning evaluation and comparison
  publication-title: BioData Min.
  doi: 10.1186/s13040-017-0154-4
– start-page: 356
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0760
  article-title: On efficiently explaining graph-based classifiers
– year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1460
  article-title: A modularized framework for explaining black box classifiers for text data
– start-page: 643
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0210
  article-title: On preferred abductive explanations for decision trees and random forests
– start-page: 846
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0850
  article-title: Towards formal fairness in azmachine learning
– ident: 10.1016/j.ijar.2023.109112_br0790
– start-page: 229
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0490
  article-title: Three modern roles for logic in AI
– ident: 10.1016/j.ijar.2023.109112_br1490
– volume: 11
  start-page: 95
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br1710
  article-title: Copy number variation in plasma as a tool for lung cancer prediction using extreme gradient boosting (XGBoost) classifier
  publication-title: Thorac. Cancer
  doi: 10.1111/1759-7714.13204
– volume: 35
  start-page: 1417
  year: 1956
  ident: 10.1016/j.ijar.2023.109112_br1230
  article-title: Minimization of Boolean functions
  publication-title: Bell Syst. Tech. J.
  doi: 10.1002/j.1538-7305.1956.tb03835.x
– year: 1990
  ident: 10.1016/j.ijar.2023.109112_br0370
– start-page: 5582
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0530
  article-title: On the computation of necessary and sufficient explanations
– start-page: 5751
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1690
  article-title: If you like Shapley then you'll love the core
– start-page: 791
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0090
  article-title: Explaining black-box classification models with arguments
– ident: 10.1016/j.ijar.2023.109112_br0800
– start-page: 838
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0240
  article-title: On tractable XAI queries based on compiled representations
– volume: 267
  start-page: 1
  year: 2019
  ident: 10.1016/j.ijar.2023.109112_br1260
  article-title: Explanation in artificial intelligence: insights from the social sciences
  publication-title: Artif. Intell.
  doi: 10.1016/j.artint.2018.07.007
– start-page: 251
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0870
  article-title: SAT-based rigorous explanations for decision lists
– volume: 2
  start-page: 307
  year: 1953
  ident: 10.1016/j.ijar.2023.109112_br1500
  article-title: A value for n-person games
  publication-title: Contrib. Theor. Games
– volume: 76
  start-page: 89
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1600
  article-title: Notions of explainability and evaluation approaches for explainable artificial intelligence
  publication-title: Inf. Fusion
  doi: 10.1016/j.inffus.2021.05.009
– start-page: 1511
  year: 2019
  ident: 10.1016/j.ijar.2023.109112_br0890
  article-title: Abduction-based explanations for machine learning models
– volume: 164
  start-page: 39
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1050
  article-title: Characterizing impact of positive lymph node number in endometrial cancer using machine-learning: a better prognostic indicator than FIGO staging?
  publication-title: Gynecol. Oncol.
  doi: 10.1016/j.ygyno.2021.11.007
– start-page: 1
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1630
  article-title: The radiomic-clinical model using the SHAP method for assessing the treatment response of whole-brain radiotherapy: a multicentric study
  publication-title: Eur. Radiol.
– start-page: 1
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0700
  article-title: Stable and actionable explanations of black-box models through factual and counterfactual rules
  publication-title: Data Min. Knowl. Discov.
– start-page: 137
  year: 2011
  ident: 10.1016/j.ijar.2023.109112_br1320
  article-title: Representing CSPS with set-labeled diagrams: a compilation map
– volume: 24
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0170
  article-title: On the complexity of SHAP-score-based explanations: tractability via knowledge compilation and non-approximability results
  publication-title: J. Mach. Learn. Res.
– year: 1937
  ident: 10.1016/j.ijar.2023.109112_br0310
– volume: 12
  start-page: 1092
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br1310
  article-title: An empirical survey on explainable ai technologies: recent trends, use-cases, and categories from technical and application perspectives
  publication-title: Electronics
  doi: 10.3390/electronics12051092
– year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0440
  article-title: On the tractability of explaining decisions of classifiers
– volume: 168
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0040
  article-title: An interpretable machine learning prognostic system for risk stratification in oropharyngeal cancer
  publication-title: Int. J. Med. Inform.
  doi: 10.1016/j.ijmedinf.2022.104896
– volume: 12
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1770
  article-title: A machine learning model based on ultrasound image features to assess the risk of sentinel lymph node metastasis in breast cancer patients: applications of scikit-learn and SHAP
  publication-title: Front. Oncol.
– volume: 55
  start-page: 3503
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1270
  article-title: Explainable artificial intelligence: a comprehensive review
  publication-title: Artif. Intell. Rev.
  doi: 10.1007/s10462-021-10088-y
– start-page: 95
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0050
  article-title: Appley: approximate Shapley value for model explainability in linear time
– ident: 10.1016/j.ijar.2023.109112_br1720
– start-page: 295
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1040
  article-title: Explanation of pseudo-Boolean functions using cooperative game theory and prime implicants
– start-page: 11690
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0150
  article-title: Foundations of symbolic languages for model interpretability
– ident: 10.1016/j.ijar.2023.109112_br1700
– volume: 306
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0270
  article-title: Relation between prognostics predictor evaluation metrics and local interpretability SHAP values
  publication-title: Artif. Intell.
  doi: 10.1016/j.artint.2022.103667
– start-page: 3996
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0770
  article-title: Solving explainability queries with quantification: the case of feature relevancy
– volume: 155
  start-page: 40
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0110
  article-title: Explaining black-box classifiers: properties and functions
  publication-title: Int. J. Approx. Reason.
  doi: 10.1016/j.ijar.2023.01.004
– year: 2020
  ident: 10.1016/j.ijar.2023.109112_br1190
  article-title: Explaining naive Bayes and other linear classifiers with polynomial time and delay
– start-page: 1054
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0060
  article-title: Counterfactual Shapley additive explanations
– start-page: 2658
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1160
  article-title: On guaranteed optimal robust explanations for NLP models
– volume: 1
  start-page: 206
  year: 2019
  ident: 10.1016/j.ijar.2023.109112_br1430
  article-title: Stop explaining black box machine learning models for high stakes decisions and use interpretable models instead
  publication-title: Nat. Mach. Intell.
  doi: 10.1038/s42256-019-0048-x
– volume: vol. 161
  start-page: 1382
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1650
  article-title: Local explanations via necessity and sufficiency: unifying theory and practice
– start-page: 5154
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0840
  article-title: Towards trustable explainable AI
– start-page: 5572
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1420
  article-title: The Shapley value in machine learning
– start-page: 1083
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1640
  article-title: Rational Shapley values
– start-page: 598
  year: 2016
  ident: 10.1016/j.ijar.2023.109112_br0570
  article-title: Algorithmic transparency via quantitative input influence: theory and experiments with learning systems
– start-page: 2583
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0420
  article-title: On the complexity of enumerating prime implicants from decision-DNNF circuits
– ident: 10.1016/j.ijar.2023.109112_br0820
– start-page: 652
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1300
  article-title: Towards unifying feature attribution and counterfactual explanations: different means to the same end
– start-page: 187
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0280
  article-title: Towards formal XAI: formally approximate minimal explanations of neural networks
– start-page: 270
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0340
  article-title: A symbolic approach for counterfactual explanations
– year: 2019
  ident: 10.1016/j.ijar.2023.109112_br0410
  article-title: L-Shapley and C-Shapley: efficient model interpretation for structured data
– ident: 10.1016/j.ijar.2023.109112_br1740
– volume: 11
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1610
  article-title: Understanding peace through the world news
  publication-title: EPJ Data Sci.
  doi: 10.1140/epjds/s13688-022-00315-z
– start-page: 6670
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0160
  article-title: The tractability of SHAP-score-based explanations for classification over deterministic and decomposable Boolean circuits
– volume: 11
  start-page: 1
  year: 2010
  ident: 10.1016/j.ijar.2023.109112_br1550
  article-title: An efficient explanation of individual classifications using game theory
  publication-title: J. Mach. Learn. Res.
– year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1790
– volume: 42
  start-page: 856
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1110
  article-title: Diagnosis of Parkinson's disease based on SHAP value feature selection
  publication-title: Biocybern. Biomed. Eng.
  doi: 10.1016/j.bbe.2022.06.007
– volume: 226
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1120
  article-title: Application of explainable artificial intelligence for healthcare: a systematic review of the last decade (2011-2022)
  publication-title: Comput. Methods Programs Biomed.
  doi: 10.1016/j.cmpb.2022.107161
– start-page: 2367
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0010
  article-title: Explainable ensemble classification model based on argumentation
– volume: 99
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0070
  article-title: Explainable artificial intelligence (XAI): what we know and what is left to attain trustworthy artificial intelligence
  publication-title: Inf. Fusion
  doi: 10.1016/j.inffus.2023.101805
– start-page: 106
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br1000
  article-title: A new class of explanations for classifiers with non-binary features
– start-page: 1
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0500
  article-title: Logic for explainable AI
– year: 1988
  ident: 10.1016/j.ijar.2023.109112_br1410
– volume: 17
  start-page: 319
  year: 2001
  ident: 10.1016/j.ijar.2023.109112_br1070
  article-title: Analysis of regression in game theory approach
  publication-title: Appl. Stoch. Models Bus. Ind.
  doi: 10.1002/asmb.446
– year: 2015
  ident: 10.1016/j.ijar.2023.109112_br0680
  article-title: Explaining and harnessing adversarial examples
– volume: 20
  start-page: 923
  year: 1971
  ident: 10.1016/j.ijar.2023.109112_br0720
  article-title: Minimal input solutions
  publication-title: IEEE Trans. Comput.
  doi: 10.1109/T-C.1971.223372
– ident: 10.1016/j.ijar.2023.109112_br1210
– volume: 159
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0930
  article-title: On computing probabilistic abductive explanations
  publication-title: Int. J. Approx. Reason.
  doi: 10.1016/j.ijar.2023.108939
– start-page: 17
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br1240
  article-title: The explanation game: explaining machine learning models using Shapley values
– start-page: 4123
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br1750
  article-title: Eliminating the impossible, whatever remains must be true: on extracting and applying background knowledge in the context of formal explanations
– year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0470
  article-title: Understanding global feature contributions with additive importance measures
– volume: 8
  start-page: 18394
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br1060
  article-title: Non-invasive meningitis diagnosis using decision trees
  publication-title: IEEE Access
  doi: 10.1109/ACCESS.2020.2966397
– start-page: 5719
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0750
  article-title: Tractable explanations for d-DNNF classifiers
– volume: 63
  start-page: 81
  year: 1956
  ident: 10.1016/j.ijar.2023.109112_br1250
  article-title: The magical number seven, plus or minus two: some limits on our capacity for processing information
  publication-title: Psychol. Rev.
  doi: 10.1037/h0043158
– ident: 10.1016/j.ijar.2023.109112_br0300
– volume: 27
  start-page: 263
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0670
  article-title: eXplainable AI allows predicting upper limb rehabilitation outcomes in sub-acute stroke patients
  publication-title: IEEE J. Biomed. Health Inform.
  doi: 10.1109/JBHI.2022.3220179
– ident: 10.1016/j.ijar.2023.109112_br0960
– start-page: 5491
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br1030
  article-title: Problems with Shapley-value-based explanations as feature importance measures
– start-page: 302
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1080
  article-title: A logic for binary classifiers and their explanation
– ident: 10.1016/j.ijar.2023.109112_br1280
– volume: 33
  start-page: 485
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br1100
  article-title: A unified logical framework for explanations in classifier systems
  publication-title: J. Log. Comput.
  doi: 10.1093/logcom/exac102
– volume: 59
  start-page: 521
  year: 1952
  ident: 10.1016/j.ijar.2023.109112_br1340
  article-title: The problem of simplifying truth functions
  publication-title: Am. Math. Mon.
  doi: 10.1080/00029890.1952.11988183
– volume: 79
  start-page: 58
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1400
  article-title: Explainable neural-symbolic learning (X-NeSyL) methodology to fuse deep learning representations with expert knowledge graphs: the MonuMAI cultural heritage use case
  publication-title: Inf. Fusion
  doi: 10.1016/j.inffus.2021.09.022
– volume: 42
  start-page: 3
  year: 1995
  ident: 10.1016/j.ijar.2023.109112_br0600
  article-title: The complexity of logic-based abduction
  publication-title: J. ACM
  doi: 10.1145/200836.200838
– year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0640
  article-title: Asymmetric Shapley values: incorporating causal knowledge into model-agnostic explainability
– volume: 41
  start-page: 647
  year: 2014
  ident: 10.1016/j.ijar.2023.109112_br1560
  article-title: Explaining prediction models and individual predictions with feature contributions
  publication-title: Knowl. Inf. Syst.
  doi: 10.1007/s10115-013-0679-x
– volume: 74
  start-page: 851
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1590
  article-title: On the tractability of SHAP explanations
  publication-title: J. Artif. Intell. Res.
  doi: 10.1613/jair.1.13283
– start-page: 469
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0430
  article-title: Abductive explanations of classifiers under constraints: complexity and properties
– start-page: 4765
  year: 2017
  ident: 10.1016/j.ijar.2023.109112_br1140
  article-title: A unified approach to interpreting model predictions
– year: 2023
  ident: 10.1016/j.ijar.2023.109112_br1730
  article-title: From formal boosted tree explanations to interpretable rule sets
– volume: 12
  start-page: 237
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1780
  article-title: Applications of explainable artificial intelligence in diagnosis and surgery
  publication-title: Diagnostics
  doi: 10.3390/diagnostics12020237
– start-page: 4699
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0250
  article-title: Computing abductive explanations for boosted trees
– start-page: 9391
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1530
  article-title: Reliable post hoc explanations: modeling uncertainty in explainability
– ident: 10.1016/j.ijar.2023.109112_br1170
– start-page: 6505
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1580
  article-title: On the tractability of SHAP explanations
– start-page: 7469
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1200
  article-title: Explanations for monotonic classifiers
– start-page: 19
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0100
  article-title: Non-monotonic explanation functions
– year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0180
  article-title: On computing probabilistic explanations for decision trees
– start-page: 117
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0260
  article-title: On contrastive explanations for tree-based classifiers
– volume: 136
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0020
  article-title: Explainable ensemble learning model improves identification of candidates for oral cancer screening
  publication-title: Oral Oncol.
  doi: 10.1016/j.oraloncology.2022.106278
– volume: 9
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0390
  article-title: Exact Shapley values for local and model-true explanations of decision tree ensembles
  publication-title: Mach. Learn. Appl.
– ident: 10.1016/j.ijar.2023.109112_br0910
– volume: 39
  start-page: 99
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0660
  article-title: Explainable artificial intelligence for magnetic resonance imaging aging brainprints: grounds and challenges
  publication-title: IEEE Signal Process. Mag.
  doi: 10.1109/MSP.2021.3126573
– start-page: 7966
  year: 2019
  ident: 10.1016/j.ijar.2023.109112_br1520
  article-title: Compiling Bayesian network classifiers into decision graphs
– volume: 72
  start-page: 285
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br0550
  article-title: On quantifying literals in Boolean logic and its applications to explainable AI
  publication-title: J. Artif. Intell. Res.
  doi: 10.1613/jair.1.12756
– start-page: 127
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0400
  article-title: Tractable explaining of multivariate decision trees
– start-page: 3776
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0860
  article-title: Using MaxSAT for efficient explanations of tree ensembles
– volume: 11
  start-page: 6968
  year: 2021
  ident: 10.1016/j.ijar.2023.109112_br1290
  article-title: Explainable machine learning can outperform Cox regression predictions and provide insights in breast cancer survival
  publication-title: Sci. Rep.
  doi: 10.1038/s41598-021-86327-7
– start-page: 342
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0360
  article-title: Symbolic explanations for multi-label classification
– volume: 75
  start-page: 261
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0940
  article-title: On tackling explanation redundancy in decision trees
  publication-title: J. Artif. Intell. Res.
  doi: 10.1613/jair.1.13575
– year: 1990
  ident: 10.1016/j.ijar.2023.109112_br1010
– start-page: 2373
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0130
  article-title: Argument-based explanation functions
– volume: 51
  year: 2019
  ident: 10.1016/j.ijar.2023.109112_br0710
  article-title: A survey of methods for explaining black box models
  publication-title: ACM Comput. Surv.
  doi: 10.1145/3236009
– start-page: 12342
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br1220
  article-title: Delivering trustworthy AI through formal XAI
– start-page: 5103
  year: 2018
  ident: 10.1016/j.ijar.2023.109112_br1510
  article-title: A symbolic approach to explaining Bayesian network classifiers
– start-page: 335
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br0880
  article-title: From contrastive to abductive explanations and back again
– start-page: 167
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0740
  article-title: Feature necessity & relevancy in ML classifier explanations
– volume: 211
  start-page: 27
  year: 2000
  ident: 10.1016/j.ijar.2023.109112_br0610
  article-title: Equational characterizations of Boolean function classes
  publication-title: Discrete Math.
  doi: 10.1016/S0012-365X(99)00132-6
– start-page: 1527
  year: 2018
  ident: 10.1016/j.ijar.2023.109112_br1390
  article-title: Anchors: high-precision model-agnostic explanations
– start-page: 5461
  year: 2022
  ident: 10.1016/j.ijar.2023.109112_br0220
  article-title: Trading complexity for sparsity in random forest explanations
– volume: 2
  start-page: 56
  year: 2020
  ident: 10.1016/j.ijar.2023.109112_br1130
  article-title: From local explanations to global understanding with explainable AI for trees
  publication-title: Nat. Mach. Intell.
  doi: 10.1038/s42256-019-0138-9
– start-page: 6900
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0950
  article-title: On tackling explanation redundancy in decision trees (extended abstract)
– volume: 32
  start-page: 57
  year: 1987
  ident: 10.1016/j.ijar.2023.109112_br1370
  article-title: A theory of diagnosis from first principles
  publication-title: Artif. Intell.
  doi: 10.1016/0004-3702(87)90062-2
– volume: 18
  year: 2023
  ident: 10.1016/j.ijar.2023.109112_br0730
  article-title: Machine learning for prediction of in-hospital mortality in lung cancer patients admitted to intensive care unit
  publication-title: PLoS ONE
SSID ssj0006748
Score 2.6499906
Snippet Explainable Artificial Intelligence (XAI) is widely considered to be critical for building trust into the deployment of systems that integrate the use of...
SourceID crossref
elsevier
SourceType Enrichment Source
Index Database
Publisher
StartPage 109112
SubjectTerms Abductive explanations
Explainable AI (XAI)
SHAP scores
Shapley values
Title On the failings of Shapley values for explainability
URI https://dx.doi.org/10.1016/j.ijar.2023.109112
Volume 171
WOSCitedRecordID wos001257248900001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVESC
  databaseName: Elsevier SD Freedom Collection Journals 2021
  customDbUrl:
  eissn: 1873-4731
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0006748
  issn: 0888-613X
  databaseCode: AIEXJ
  dateStart: 20211207
  isFulltext: true
  titleUrlDefault: https://www.sciencedirect.com
  providerName: Elsevier
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NT4MwFG908-DFb-N3evBmMNDCgONiZtTEzcSZ7EZKaSPLwpZtGv58X2mBbX5ED15IA6WQ_srrr4_X90PokvM4EJTGlkOYb8GXyMAOJirIEaoDP1IpxAqxCb_bDQaD8Mno3c8KOQE_y4I8Dyf_CjWcA7DV1tk_wF01CiegDKDDEWCH46-A7-nARcnSUSHJqXalvLKJ-vhVZm8x01m-88mo2DilYmOXfu0u-wgXMksU6cfzFCiuklphs8KRWw8L43geQCGHMVddeWRTNfdYz-noXQfmjtl40dlA3CrUrbZJAaw2Cwnf2oBqERVjAlWmUR0Z_ck6a0fB8DodMpWKldDruvJyKuyVKaoKHCxj0oaRaiNSbUS6jXXUJL4XgmFrtu87g4dqOlZqKnopod_c7JzSQX6rb_I1O1lgHP0dtGWWCritId5FayLbQ9ulDAc2Vnkfub0MA-K4RByPJTaIY404BsTxMuIH6OW207-5s4wYhsWpbc8t3wEuLqUUHqecSuHDytxhoe22JEkYkY4MhM1jCfyxRSQw50R6Po19u8WodDihh6iRjTNxhLDHXZfIxJFJAIUwiF0gaY5i1kkoJHGPkVN2QsRNpnglWDKKvu_-Y3RV3TPReVJ-rO2VfRsZpqcZXARD5Yf7Tv70lFO0WY_hM9SYT9_EOdrg7_N0Nr0w4-QDgQxzug
linkProvider Elsevier
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=On+the+failings+of+Shapley+values+for+explainability&rft.jtitle=International+journal+of+approximate+reasoning&rft.au=Huang%2C+Xuanxiang&rft.au=Marques-Silva%2C+Joao&rft.date=2024-08-01&rft.issn=0888-613X&rft.volume=171&rft.spage=109112&rft_id=info:doi/10.1016%2Fj.ijar.2023.109112&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_ijar_2023_109112
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0888-613X&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0888-613X&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0888-613X&client=summon