{"id":"https://openalex.org/W4292347942","doi":"https://doi.org/10.1109/mis.2022.3198337","title":"Computing Abductive Explanations","display_name":"Computing Abductive Explanations","publication_year":2022,"publication_date":"2022-08-19","ids":{"openalex":"https://openalex.org/W4292347942","doi":"https://doi.org/10.1109/mis.2022.3198337"},"language":"en","primary_location":{"id":"doi:10.1109/mis.2022.3198337","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mis.2022.3198337","pdf_url":null,"source":{"id":"https://openalex.org/S114241109","display_name":"IEEE Intelligent Systems","issn_l":"1541-1672","issn":["1541-1672","1941-1294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Intelligent Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://lirias.kuleuven.be/handle/20.500.12942/750210","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5045580808","display_name":"Luciano Caroprese","orcid":"https://orcid.org/0000-0002-0173-0131"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luciano Caroprese","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":"https://orcid.org/0000-0002-0173-0131","affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007343580","display_name":"Ester Zumpano","orcid":"https://orcid.org/0000-0003-1129-3737"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ester Zumpano","raw_affiliation_strings":["University of Calabria, Rende, Italy"],"raw_orcid":"https://orcid.org/0000-0003-1129-3737","affiliations":[{"raw_affiliation_string":"University of Calabria, Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089527287","display_name":"Bart Bogaerts","orcid":"https://orcid.org/0000-0003-3460-4251"},"institutions":[{"id":"https://openalex.org/I13469542","display_name":"Vrije Universiteit Brussel","ror":"https://ror.org/006e5kg04","country_code":"BE","type":"education","lineage":["https://openalex.org/I13469542"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Bart Bogaerts","raw_affiliation_strings":["Vrije Universiteit Brussel, Elsene, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Brussel, Elsene, Belgium","institution_ids":["https://openalex.org/I13469542"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6649,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.8642298,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":98},"biblio":{"volume":"37","issue":"6","first_page":"18","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9997000098228455,"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.9997000098228455,"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.9947999715805054,"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9868000149726868,"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/abductive-reasoning","display_name":"Abductive reasoning","score":0.8127830028533936},{"id":"https://openalex.org/keywords/arbitrariness","display_name":"Arbitrariness","score":0.6773704290390015},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6420906782150269},{"id":"https://openalex.org/keywords/simplicity","display_name":"Simplicity","score":0.5914623737335205},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5594938397407532},{"id":"https://openalex.org/keywords/cardinality","display_name":"Cardinality (data modeling)","score":0.5389223098754883},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5031530261039734},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.49457189440727234},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.49362099170684814},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.4922429621219635},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.43409883975982666},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39986565709114075},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.38264551758766174},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.372725248336792},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18852365016937256},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.15940555930137634}],"concepts":[{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.8127830028533936},{"id":"https://openalex.org/C2777451423","wikidata":"https://www.wikidata.org/wiki/Q629962","display_name":"Arbitrariness","level":2,"score":0.6773704290390015},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6420906782150269},{"id":"https://openalex.org/C2776372474","wikidata":"https://www.wikidata.org/wiki/Q508291","display_name":"Simplicity","level":2,"score":0.5914623737335205},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5594938397407532},{"id":"https://openalex.org/C87117476","wikidata":"https://www.wikidata.org/wiki/Q362383","display_name":"Cardinality (data modeling)","level":2,"score":0.5389223098754883},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5031530261039734},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.49457189440727234},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.49362099170684814},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.4922429621219635},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.43409883975982666},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39986565709114075},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38264551758766174},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.372725248336792},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18852365016937256},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.15940555930137634},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/mis.2022.3198337","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mis.2022.3198337","pdf_url":null,"source":{"id":"https://openalex.org/S114241109","display_name":"IEEE Intelligent Systems","issn_l":"1541-1672","issn":["1541-1672","1941-1294"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Intelligent Systems","raw_type":"journal-article"},{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/750210","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/750210","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Ieee Intelligent Systems, vol. 37 (6), (18-26)","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:161989","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/computing-abductive-explanations(14fbadab-9602-4efa-8b90-76d24003a984).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"publishedVersion"}],"best_oa_location":{"id":"pmh:oai:lirias2repo.kuleuven.be:20.500.12942/750210","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/750210","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Ieee Intelligent Systems, vol. 37 (6), (18-26)","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.800000011920929}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W1496385246","https://openalex.org/W1509180139","https://openalex.org/W1608485276","https://openalex.org/W1853246820","https://openalex.org/W1877903941","https://openalex.org/W1987005090","https://openalex.org/W1989588773","https://openalex.org/W2041428960","https://openalex.org/W2085261789","https://openalex.org/W2088175080","https://openalex.org/W2090798572","https://openalex.org/W2133291246","https://openalex.org/W2948565981","https://openalex.org/W3098712084","https://openalex.org/W6602462049","https://openalex.org/W6603598126","https://openalex.org/W6604381209","https://openalex.org/W6607254775","https://openalex.org/W6641144477"],"related_works":["https://openalex.org/W1536590331","https://openalex.org/W2017956822","https://openalex.org/W2044503422","https://openalex.org/W2008106366","https://openalex.org/W1526931790","https://openalex.org/W2912407375","https://openalex.org/W240702377","https://openalex.org/W2000042161","https://openalex.org/W1557631107","https://openalex.org/W1596541925"],"abstract_inverted_index":{"We":[0,72],"study":[1],"the":[2,8,21,58,78,93,104,109,111,124,151,154,165,180],"computation":[3],"of":[4,10,17,23,31,53,77,80,85,95,139,150,172],"constrained":[5,142,166,188],"explanations":[6,44,117,167],"in":[7,47,57],"framework":[9],"abductive":[11,18,25],"logic":[12,159],"programming.":[13],"A":[14,38],"general":[15],"characteristic":[16],"reasoning":[19],"is":[20,34,41,145],"existence":[22],"multiple":[24],"explanations.":[26,143,189],"Therefore,":[27],"identifying":[28],"a":[29,35,75,132,136,148,157,170],"subclass":[30],"\u201cpreferred":[32],"explanations\u201d":[33],"relevant":[36],"problem.":[37],"typical":[39],"approach":[40],"to":[42,68,102,169,186],"\u201cprefer\u201d":[43],"that":[45,87,98,164],"are,":[46],"some":[48],"sense,":[49],"simple.":[50],"Several":[51],"concepts":[52],"simplicity":[54],"were":[55],"considered":[56],"literature,":[59],"most":[60],"notably":[61],"those":[62],"based":[63,146],"on":[64,147],"minimality":[65],"with":[66,116,161],"respect":[67],"inclusion":[69],"and":[70,153],"cardinality.":[71],"adopt,":[73],"as":[74,92],"measure":[76],"quality":[79],"an":[81],"explanation,":[82,110],"its":[83,173],"degree":[84],"arbitrariness":[86],"can":[88],"be":[89],"briefly":[90],"described":[91],"number":[94],"arbitrary":[96,108],"assumptions":[97],"have":[99],"been":[100],"made":[101],"derive":[103],"explanation.":[105],"The":[106,176],"more":[107],"less":[112],"appealing":[113],"it":[114],"is,":[115],"having":[118],"no":[119],"arbitrariness,":[120],"called":[121],"constrained,":[122],"being":[123],"preferred":[125],"ones.":[126],"In":[127],"this":[128],"article,":[129],"we":[130],"present":[131],"technique":[133,178],"that,":[134],"for":[135,182],"special":[137],"class":[138],"theories,":[140],"computes":[141],"It":[144],"rewriting":[149],"theory":[152],"observation":[155],"into":[156],"disjunctive":[158],"program":[160],"negation":[162],"so":[163],"correspond":[168],"subset":[171],"stable":[174],"models.":[175],"proposed":[177],"lays":[179],"foundation":[181],"using":[183],"ASP":[184],"solvers":[185],"compute":[187]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":4}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2025-10-10T00:00:00"}