{"id":"https://openalex.org/W3105264040","doi":"https://doi.org/10.1017/s1471068421000582","title":"Declarative Approaches to Counterfactual Explanations for Classification","display_name":"Declarative Approaches to Counterfactual Explanations for Classification","publication_year":2021,"publication_date":"2021-12-27","ids":{"openalex":"https://openalex.org/W3105264040","doi":"https://doi.org/10.1017/s1471068421000582","mag":"3105264040"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068421000582","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068421000582","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5015753842","display_name":"Leopoldo Bertossi","orcid":"https://orcid.org/0000-0002-1144-3179"},"institutions":[{"id":"https://openalex.org/I21067949","display_name":"Adolfo Ib\u00e1\u00f1ez University","ror":"https://ror.org/0326knt82","country_code":"CL","type":"education","lineage":["https://openalex.org/I21067949"]},{"id":"https://openalex.org/I4210167034","display_name":"Millennium Institute for Integrative Biology","ror":"https://ror.org/05xcmte05","country_code":"CL","type":"other","lineage":["https://openalex.org/I4210167034"]}],"countries":["CL"],"is_corresponding":true,"raw_author_name":"LEOPOLDO BERTOSSI","raw_affiliation_strings":["Universidad Adolfo Ib\u00e1\u00f1ez, Faculty of Engineering and Sciences, Santiago, Chile and Millennium Institute for Foundational Research on Data (IMFD) Santiago, Chile (e-mail:"],"raw_orcid":"https://orcid.org/0000-0002-1144-3179","affiliations":[{"raw_affiliation_string":"Universidad Adolfo Ib\u00e1\u00f1ez, Faculty of Engineering and Sciences, Santiago, Chile and Millennium Institute for Foundational Research on Data (IMFD) Santiago, Chile (e-mail:","institution_ids":["https://openalex.org/I4210167034","https://openalex.org/I21067949"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5015753842"],"corresponding_institution_ids":["https://openalex.org/I21067949","https://openalex.org/I4210167034"],"apc_list":null,"apc_paid":null,"fwci":1.2599,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.8308897,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"23","issue":"3","first_page":"559","last_page":"593"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T11010","display_name":"Logic, Reasoning, and Knowledge","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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9984999895095825,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9961000084877014,"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/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.8794618844985962},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8243873715400696},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6564100980758667},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.6074787378311157},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5262029767036438},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.5026028156280518},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4953073561191559},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.485592782497406},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.45422178506851196},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4501146078109741},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44525110721588135},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4439716637134552},{"id":"https://openalex.org/keywords/causality","display_name":"Causality (physics)","score":0.4350832998752594},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4342319071292877},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.36005693674087524},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.25917619466781616},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2522766590118408},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10168027877807617}],"concepts":[{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.8794618844985962},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8243873715400696},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6564100980758667},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.6074787378311157},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5262029767036438},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.5026028156280518},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4953073561191559},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.485592782497406},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.45422178506851196},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4501146078109741},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44525110721588135},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4439716637134552},{"id":"https://openalex.org/C64357122","wikidata":"https://www.wikidata.org/wiki/Q1149766","display_name":"Causality (physics)","level":2,"score":0.4350832998752594},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4342319071292877},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.36005693674087524},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.25917619466781616},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2522766590118408},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10168027877807617},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068421000582","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068421000582","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5199999809265137}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":72,"referenced_works":["https://openalex.org/W198744195","https://openalex.org/W1487646593","https://openalex.org/W1636554345","https://openalex.org/W1969965298","https://openalex.org/W1976055110","https://openalex.org/W1984778493","https://openalex.org/W1985239372","https://openalex.org/W2023141722","https://openalex.org/W2039887949","https://openalex.org/W2076698873","https://openalex.org/W2088175080","https://openalex.org/W2091138122","https://openalex.org/W2124026371","https://openalex.org/W2137819283","https://openalex.org/W2142912368","https://openalex.org/W2143891888","https://openalex.org/W2153722710","https://openalex.org/W2155378065","https://openalex.org/W2161403060","https://openalex.org/W2282821441","https://openalex.org/W2510508396","https://openalex.org/W2604156327","https://openalex.org/W2624509565","https://openalex.org/W2733732676","https://openalex.org/W2788403449","https://openalex.org/W2804975344","https://openalex.org/W2891340972","https://openalex.org/W2899401625","https://openalex.org/W2909392392","https://openalex.org/W2945094890","https://openalex.org/W2945315238","https://openalex.org/W2945976633","https://openalex.org/W2952029797","https://openalex.org/W2953796333","https://openalex.org/W2963052257","https://openalex.org/W2963125461","https://openalex.org/W2963239539","https://openalex.org/W2963689351","https://openalex.org/W2964359568","https://openalex.org/W2974477827","https://openalex.org/W2985257580","https://openalex.org/W2994667977","https://openalex.org/W2999615587","https://openalex.org/W3015024380","https://openalex.org/W3026358072","https://openalex.org/W3034616174","https://openalex.org/W3036990658","https://openalex.org/W3037724138","https://openalex.org/W3039704660","https://openalex.org/W3040887543","https://openalex.org/W3045734655","https://openalex.org/W3081335478","https://openalex.org/W3082833989","https://openalex.org/W3090471081","https://openalex.org/W3096315831","https://openalex.org/W3101038122","https://openalex.org/W3103683805","https://openalex.org/W3122175177","https://openalex.org/W3155306957","https://openalex.org/W3165738393","https://openalex.org/W3175110185","https://openalex.org/W3186753874","https://openalex.org/W3190685737","https://openalex.org/W3191501067","https://openalex.org/W3210485606","https://openalex.org/W4234556776","https://openalex.org/W4287186718","https://openalex.org/W6735690607","https://openalex.org/W6745730051","https://openalex.org/W6752411846","https://openalex.org/W6773902624","https://openalex.org/W6780219420"],"related_works":["https://openalex.org/W3201448254","https://openalex.org/W4286970243","https://openalex.org/W2066431708","https://openalex.org/W3025615835","https://openalex.org/W4391150403","https://openalex.org/W2081749821","https://openalex.org/W1968572830","https://openalex.org/W2090814745","https://openalex.org/W2029896371","https://openalex.org/W2136497797"],"abstract_inverted_index":{"Abstract":[0],"We":[1,126,140],"propose":[2],"answer-set":[3],"programs":[4,62,130,170],"that":[5,13,73,100,103],"specify":[6],"and":[7,39,60,69,94,153,179],"compute":[8],"counterfactual":[9,30,98],"interventions":[10],"on":[11,16,91],"entities":[12,31],"are":[14,183],"input":[15],"a":[17,34],"classification":[18],"model.":[19],"In":[20],"relation":[21],"to":[22,105,131],"the":[23,26,28,37,46,50,61,92,115,123,129,134,143,155,163,173,176],"outcome":[24],"of":[25,41,87,96,150,165,169,175],"model,":[27],"resulting":[29],"serve":[32],"as":[33,77,81,117],"basis":[35],"for":[36,45],"definition":[38],"computation":[40,95],"causality-based":[42],"explanation":[43],"scores":[44,56],"feature":[47,120],"values":[48,121],"in":[49,122,172],"entity":[51],"under":[52],"classification,":[53],"namely":[54],"responsibility":[55,107,119],".":[57],"The":[58,84],"approach":[59,144],"can":[63,74,112],"be":[64,75,146,160],"applied":[65],"with":[66,71,181],"black-box":[67],"models,":[68],"also":[70,127],"models":[72],"specified":[76],"logic":[78],"programs,":[79],"such":[80],"rule-based":[82],"classifiers.":[83],"main":[85],"focus":[86],"this":[88],"study":[89],"is":[90],"specification":[93],"best":[97],"entities,":[99],"is,":[101],"those":[102],"lead":[104],"maximum":[106,118],"scores.":[108],"From":[109],"them":[110],"one":[111],"read":[113],"off":[114],"explanations":[116],"original":[124],"entity.":[125],"extend":[128],"bring":[132],"into":[133],"picture":[135],"semantic":[136],"or":[137],"domain":[138],"knowledge.":[139],"show":[141],"how":[142,154],"could":[145,159],"extended":[147],"by":[148],"means":[149],"probabilistic":[151],"methods,":[152],"underlying":[156],"probability":[157],"distributions":[158],"modified":[161],"through":[162],"use":[164],"constraints.":[166],"Several":[167],"examples":[168],"written":[171],"syntax":[174],"DLV":[177],"ASP-solver,":[178],"run":[180],"it,":[182],"shown.":[184]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}