{"id":"https://openalex.org/W4292482260","doi":"https://doi.org/10.1007/s10849-022-09377-8","title":"On the (Complete) Reasons Behind Decisions","display_name":"On the (Complete) Reasons Behind Decisions","publication_year":2022,"publication_date":"2022-08-18","ids":{"openalex":"https://openalex.org/W4292482260","doi":"https://doi.org/10.1007/s10849-022-09377-8"},"language":"en","primary_location":{"id":"doi:10.1007/s10849-022-09377-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10849-022-09377-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10849-022-09377-8.pdf","source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic, Language and Information","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10849-022-09377-8.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027252816","display_name":"Adnan Darwiche","orcid":"https://orcid.org/0000-0003-3976-6735"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Adnan Darwiche","raw_affiliation_strings":["Computer Science Department, University of California, Los Angeles, USA"],"raw_orcid":"https://orcid.org/0000-0003-3976-6735","affiliations":[{"raw_affiliation_string":"Computer Science Department, University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5039185281","display_name":"Auguste Hirth","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Auguste Hirth","raw_affiliation_strings":["Computer Science Department, University of California, Los Angeles, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computer Science Department, University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5027252816"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":{"value":2890,"currency":"USD","value_usd":2890},"fwci":2.0871,"has_fulltext":true,"cited_by_count":21,"citation_normalized_percentile":{"value":0.88522471,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"32","issue":"1","first_page":"63","last_page":"88"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12535","display_name":"Machine Learning and Data Classification","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6824854612350464},{"id":"https://openalex.org/keywords/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.6171422600746155},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5951465368270874},{"id":"https://openalex.org/keywords/classifier","display_name":"Classifier (UML)","score":0.5741714239120483},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.4693737030029297},{"id":"https://openalex.org/keywords/decision-tree","display_name":"Decision tree","score":0.4582262933254242},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4435599446296692},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.43971797823905945},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.4160957932472229},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36315491795539856},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2786034047603607},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13176989555358887},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.11194869875907898}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6824854612350464},{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.6171422600746155},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5951465368270874},{"id":"https://openalex.org/C95623464","wikidata":"https://www.wikidata.org/wiki/Q1096149","display_name":"Classifier (UML)","level":2,"score":0.5741714239120483},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.4693737030029297},{"id":"https://openalex.org/C84525736","wikidata":"https://www.wikidata.org/wiki/Q831366","display_name":"Decision tree","level":2,"score":0.4582262933254242},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4435599446296692},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.43971797823905945},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.4160957932472229},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36315491795539856},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2786034047603607},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13176989555358887},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.11194869875907898},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10849-022-09377-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10849-022-09377-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10849-022-09377-8.pdf","source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic, Language and Information","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10849-022-09377-8","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10849-022-09377-8","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10849-022-09377-8.pdf","source":{"id":"https://openalex.org/S197419112","display_name":"Journal of Logic Language and Information","issn_l":"0925-8531","issn":["0925-8531","1572-9583"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Logic, Language and Information","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.75,"display_name":"Peace, Justice and strong institutions"}],"awards":[{"id":"https://openalex.org/G3973513349","display_name":null,"funder_award_id":"N000141812561","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G4966106633","display_name":"RI: Small: Reasoning About the Behavior of Artificial Intelligence Systems","funder_award_id":"1910317","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6491371590","display_name":null,"funder_award_id":"N66001-17-2-4032","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320307774","display_name":"JPMorgan Chase and Company","ror":"https://ror.org/01x3kkr08"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4292482260.pdf","grobid_xml":"https://content.openalex.org/works/W4292482260.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W89760577","https://openalex.org/W966413371","https://openalex.org/W1534112425","https://openalex.org/W1593693959","https://openalex.org/W1627190683","https://openalex.org/W1986660301","https://openalex.org/W2003116861","https://openalex.org/W2018094844","https://openalex.org/W2080267935","https://openalex.org/W2089167558","https://openalex.org/W2105197197","https://openalex.org/W2112319917","https://openalex.org/W2238678393","https://openalex.org/W2332863838","https://openalex.org/W2335478831","https://openalex.org/W2402839980","https://openalex.org/W2594877703","https://openalex.org/W2741061345","https://openalex.org/W2788403449","https://openalex.org/W2804224090","https://openalex.org/W2903991797","https://openalex.org/W2955171822","https://openalex.org/W2955833779","https://openalex.org/W2962936809","https://openalex.org/W2963095307","https://openalex.org/W2963539719","https://openalex.org/W2963673089","https://openalex.org/W2964359568","https://openalex.org/W2970621010","https://openalex.org/W2971948314","https://openalex.org/W3016346123","https://openalex.org/W3080169062","https://openalex.org/W3081335478","https://openalex.org/W3094592118","https://openalex.org/W3100557899","https://openalex.org/W3102726227","https://openalex.org/W3165170027","https://openalex.org/W3178658516","https://openalex.org/W3204971384","https://openalex.org/W3205094558","https://openalex.org/W3207790498","https://openalex.org/W4221157205","https://openalex.org/W4241894588","https://openalex.org/W4306928732","https://openalex.org/W6600411887","https://openalex.org/W6605275793","https://openalex.org/W6629278971","https://openalex.org/W6773902624","https://openalex.org/W6780219420","https://openalex.org/W6784309099"],"related_works":["https://openalex.org/W3201448254","https://openalex.org/W4286970243","https://openalex.org/W2066431708","https://openalex.org/W2349952486","https://openalex.org/W1489260687","https://openalex.org/W4384133558","https://openalex.org/W3025615835","https://openalex.org/W173210993","https://openalex.org/W2390660599","https://openalex.org/W2119626109"],"abstract_inverted_index":{"Abstract":[0],"Recent":[1],"work":[2],"has":[3],"shown":[4],"that":[5,221],"the":[6,26,51,64,67,83,89,114,173,180,195,223],"input-output":[7],"behavior":[8,27],"of":[9,28,44,76,85,91,188],"some":[10,75],"common":[11],"machine":[12,45],"learning":[13,46],"classifiers":[14,30,47,72],"can":[15,96,117,136,148,199],"be":[16,97,118,137,149,200],"captured":[17],"in":[18,209],"symbolic":[19,32,53],"form,":[20],"allowing":[21],"one":[22],"to":[23,202],"reason":[24,116,198],"about":[25,50,206],"these":[29],"using":[31],"techniques.":[33],"This":[34],"includes":[35],"explaining":[36],"decisions,":[37],"measuring":[38],"robustness,":[39],"and":[40,73,79,102,131,142,145,226],"proving":[41],"formal":[42],"properties":[43],"by":[48,70,184],"reasoning":[49,175],"corresponding":[52],"classifiers.":[54],"In":[55],"this":[56],"work,":[57],"we":[58,228],"present":[59,167],"a":[60,92,100,107,168,177,185,207,218],"theory":[61,87],"for":[62,105,120,139,151,171],"unveiling":[63],"reasons":[65,126],"behind":[66,176],"decisions":[68],"made":[69],"Boolean":[71,186],"study":[74,220],"its":[77],"theoretical":[78],"practical":[80],"implications.":[81],"At":[82],"core":[84],"our":[86],"is":[88,182],"notion":[90],"complete":[93,115,174,197],"reason,":[94],"which":[95],"viewed":[98],"as":[99,124,129,156],"necessary":[101],"sufficient":[103,125],"condition":[104],"why":[106],"decision":[108,141,158,208],"was":[109],"made.":[110],"We":[111,166,191,214],"show":[112,193],"how":[113,134,146,194],"used":[119,138,150,201],"computing":[121,172],"notions":[122,225],"such":[123,155],"(also":[127],"known":[128],"PI-explanations":[130],"abductive":[132],"explanations),":[133],"it":[135,147],"determining":[140],"classifier":[143,181],"bias":[144],"evaluating":[152],"counterfactual":[153],"statements":[154],"\u201ca":[157],"will":[159],"stick":[160],"even":[161],"if":[162],"...because":[163],"...":[164],".\u201d":[165],"linear-time":[169],"algorithm":[170],"decision,":[178],"assuming":[179],"represented":[183],"circuit":[187],"appropriate":[189],"form.":[190],"then":[192],"computed":[196],"answer":[203],"many":[204],"queries":[205],"linear":[210],"or":[211],"polynomial":[212],"time.":[213],"finally":[215],"conclude":[216],"with":[217],"case":[219],"illustrates":[222],"various":[224],"techniques":[227],"introduced.":[229]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":6}],"updated_date":"2026-08-12T07:12:00.856984","created_date":"2025-10-10T00:00:00"}