{"id":"https://openalex.org/W2085261789","doi":"https://doi.org/10.1145/1284320.1284323","title":"On computing all abductive explanations from a propositional Horn theory","display_name":"On computing all abductive explanations from a propositional Horn theory","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W2085261789","doi":"https://doi.org/10.1145/1284320.1284323","mag":"2085261789"},"language":"en","primary_location":{"id":"doi:10.1145/1284320.1284323","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1284320.1284323","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","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/A5082178480","display_name":"Thomas Eiter","orcid":"https://orcid.org/0000-0001-6003-6345"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":true,"raw_author_name":"Thomas Eiter","raw_affiliation_strings":["Vienna University of Technology, Wien, Austria","Vienna Univ. of Technology, Wien, Austria#TAB#"],"affiliations":[{"raw_affiliation_string":"Vienna University of Technology, Wien, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Vienna Univ. of Technology, Wien, Austria#TAB#","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110768204","display_name":"Kazuhisa Makino","orcid":"https://orcid.org/0009-0000-9771-4955"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kazuhisa Makino","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5082178480"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.9673,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.82356681,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"54","issue":"5","first_page":"24","last_page":"24"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12072","display_name":"Machine Learning and Algorithms","score":0.9958000183105469,"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.6825776696205139},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5192646980285645},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.5043905973434448},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.4733802378177643},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4545728862285614},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.44018325209617615},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.43929019570350647},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.43298542499542236},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.42511290311813354},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4207099974155426},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.39940643310546875},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26647692918777466},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24595928192138672},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.235000878572464},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.15333622694015503},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1377752423286438}],"concepts":[{"id":"https://openalex.org/C166088908","wikidata":"https://www.wikidata.org/wiki/Q308495","display_name":"Abductive reasoning","level":2,"score":0.6825776696205139},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5192646980285645},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5043905973434448},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.4733802378177643},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4545728862285614},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.44018325209617615},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.43929019570350647},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.43298542499542236},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.42511290311813354},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4207099974155426},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.39940643310546875},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26647692918777466},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24595928192138672},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.235000878572464},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.15333622694015503},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1377752423286438}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1284320.1284323","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1284320.1284323","pdf_url":null,"source":{"id":"https://openalex.org/S118992489","display_name":"Journal of the ACM","issn_l":"0004-5411","issn":["0004-5411","1557-735X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of the ACM","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.5099999904632568,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":78,"referenced_works":["https://openalex.org/W85803427","https://openalex.org/W97081472","https://openalex.org/W112480177","https://openalex.org/W145128706","https://openalex.org/W170138611","https://openalex.org/W190525330","https://openalex.org/W229019754","https://openalex.org/W1484529399","https://openalex.org/W1503328822","https://openalex.org/W1536527479","https://openalex.org/W1546514315","https://openalex.org/W1556415569","https://openalex.org/W1569596742","https://openalex.org/W1585841067","https://openalex.org/W1666090206","https://openalex.org/W1843221822","https://openalex.org/W1902941631","https://openalex.org/W1964376592","https://openalex.org/W1965184317","https://openalex.org/W1969172463","https://openalex.org/W1969880832","https://openalex.org/W1971132311","https://openalex.org/W1971224153","https://openalex.org/W1972004026","https://openalex.org/W1976127067","https://openalex.org/W1997030934","https://openalex.org/W1999410326","https://openalex.org/W2011992362","https://openalex.org/W2018830344","https://openalex.org/W2021183451","https://openalex.org/W2024768126","https://openalex.org/W2035824165","https://openalex.org/W2041182895","https://openalex.org/W2044704455","https://openalex.org/W2047658201","https://openalex.org/W2056277969","https://openalex.org/W2057512592","https://openalex.org/W2058269520","https://openalex.org/W2063645305","https://openalex.org/W2065895258","https://openalex.org/W2079322253","https://openalex.org/W2080947358","https://openalex.org/W2086073919","https://openalex.org/W2087134747","https://openalex.org/W2087502667","https://openalex.org/W2088175080","https://openalex.org/W2092911568","https://openalex.org/W2100657934","https://openalex.org/W2104025390","https://openalex.org/W2123481932","https://openalex.org/W2124301168","https://openalex.org/W2132849347","https://openalex.org/W2140395855","https://openalex.org/W2144078201","https://openalex.org/W2145062905","https://openalex.org/W2145287593","https://openalex.org/W2147096558","https://openalex.org/W2156018937","https://openalex.org/W2162122584","https://openalex.org/W2165144647","https://openalex.org/W2166013242","https://openalex.org/W2171094216","https://openalex.org/W2278970812","https://openalex.org/W2394842790","https://openalex.org/W2400283444","https://openalex.org/W2502886499","https://openalex.org/W2560674852","https://openalex.org/W2561675875","https://openalex.org/W2592270044","https://openalex.org/W2748837517","https://openalex.org/W2772521659","https://openalex.org/W2913688336","https://openalex.org/W2914983426","https://openalex.org/W3021442973","https://openalex.org/W4205307202","https://openalex.org/W4247052648","https://openalex.org/W4292230561","https://openalex.org/W4313457006"],"related_works":["https://openalex.org/W1511224498","https://openalex.org/W108605771","https://openalex.org/W3003455100","https://openalex.org/W4298032262","https://openalex.org/W2284153003","https://openalex.org/W2795841965","https://openalex.org/W2027989933","https://openalex.org/W2912446365","https://openalex.org/W4304091922","https://openalex.org/W2983773930"],"abstract_inverted_index":{"Abduction":[0],"is":[1,22,28,44],"a":[2,112,118,136,139,148,163,223,237,268,282],"fundamental":[3],"mode":[4],"of":[5,12,19,32,67,83,104,107,117,121,131,150,157,173,187,195,197,209,221,248,263,267,285],"reasoning":[6],"with":[7],"applications":[8],"in":[9,51,88,171,185,193,207,211,232,287],"many":[10],"areas":[11],"AI":[13],"and":[14,39,43,64,87,100,153,235,242,253],"Computer":[15],"Science.":[16],"The":[17,271],"computation":[18,103],"abductive":[20,62,94,109,251],"explanations":[21,91,106,144,252,286],"an":[23,93,108],"important":[24],"computational":[25],"problem,":[26],"which":[27],"at":[29],"the":[30,37,65,68,81,102,129,132,155,158,219,233,246],"core":[31],"early":[33],"systems":[34],"such":[35,198,259],"as":[36,260],"ATMS":[38],"Clause":[40],"Management":[41],"Systems":[42],"intimately":[45],"related":[46,257],"to":[47,80,128,138,142,154,218],"prime":[48,265],"implicate":[49],"generation":[50],"propositional":[52,113],"logic.":[53],"Many":[54],"algorithms":[55,199,272],"have":[56],"been":[57,71,78],"devised":[58],"for":[59,92,273,280],"computing":[60,84],"some":[61],"explanation,":[63],"complexity":[66,247],"problem":[69,82,220],"has":[70,77],"well":[72],"studied.":[73],"However,":[74],"little":[75],"attention":[76,127],"paid":[79],"multiple":[85],"explanations,":[86],"particular":[89,126],"all":[90,105,250],"query.":[95],"We":[96],"fill":[97],"this":[98],"gap":[99],"consider":[101],"query":[110],"from":[111,135],"Horn":[114,159,164,269],"theory,":[115,160],"or":[116,169,204],"polynomial":[119,188,283,288],"subset":[120,284],"them.":[122],"Our":[123,227],"study":[124],"pays":[125],"form":[130,167],"query,":[133],"ranging":[134],"literal":[137],"compound":[140],"formula,":[141],"whether":[143],"are":[145],"based":[146],"on":[147,256],"set":[149],"abducible":[151],"literals":[152],"representation":[156],"either":[161,182],"by":[162,215,240],"conjunctive":[165],"normal":[166],"(CNF)":[168],"model-based":[170],"terms":[172,186,194,208],"its":[174],"characteristic":[175],"models.":[176],"For":[177],"these":[178],"combinations,":[179],"we":[180],"present":[181],"tractability":[183],"results":[184,192,206,228,231],"total-time":[189],"algorithms,":[190],"intractability":[191],"nonexistence":[196],"(unless":[200],"P":[201],"=":[202],"NP),":[203],"semi-tractability":[205],"solvability":[210],"quasi-polynomial":[212],"time,":[213],"established":[214],"polynomial-time":[216],"equivalence":[217],"dualizing":[222],"monotone":[224],"CNF":[225],"expression.":[226],"complement":[229],"previous":[230],"literature,":[234],"refute":[236],"longstanding":[238],"conjecture":[239],"Selman":[241],"Levesque.":[243],"They":[244],"elucidate":[245],"generating":[249,261,281],"shed":[254],"light":[255],"problems":[258],"sets":[262],"restricted":[264],"implicates":[266],"theory.":[270],"tractable":[274],"cases":[275],"can":[276],"be":[277],"readily":[278],"applied":[279],"time.":[289]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}