{"id":"https://openalex.org/W1542902132","doi":"https://doi.org/10.1093/logcom/exr012","title":"Complexity Classifications for Propositional Abduction in Post's Framework","display_name":"Complexity Classifications for Propositional Abduction in Post's Framework","publication_year":2011,"publication_date":"2011-07-07","ids":{"openalex":"https://openalex.org/W1542902132","doi":"https://doi.org/10.1093/logcom/exr012","mag":"1542902132"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exr012","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1006.4923.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5090333344","display_name":"Nadia Creignou","orcid":"https://orcid.org/0009-0005-6522-6363"},"institutions":[{"id":"https://openalex.org/I4210115196","display_name":"Laboratoire d\u2019Informatique Fondamentale de Marseille","ror":"https://ror.org/022my8t07","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I21491767","https://openalex.org/I4210115196","https://openalex.org/I4210142724","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I21491767","display_name":"Aix-Marseille Universit\u00e9","ror":"https://ror.org/035xkbk20","country_code":"FR","type":"education","lineage":["https://openalex.org/I21491767"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"N. Creignou","raw_affiliation_strings":["Laboratoire d'Informatique Fondamentale, Unit\u00e9 Mixte de Recherche, Centre National de Recherche scientifique, 6166, Aix-Marseille Universit\u00e9, 163 Avenue de Luminy, 13288 Marseille Cedex 9, France.E-mail: nadia.creignou@lif.univ-mrs.fr"],"affiliations":[{"raw_affiliation_string":"Laboratoire d'Informatique Fondamentale, Unit\u00e9 Mixte de Recherche, Centre National de Recherche scientifique, 6166, Aix-Marseille Universit\u00e9, 163 Avenue de Luminy, 13288 Marseille Cedex 9, France.E-mail: nadia.creignou@lif.univ-mrs.fr","institution_ids":["https://openalex.org/I4210115196","https://openalex.org/I21491767"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055974732","display_name":"Johannes Dragsb\u00e6k Schmidt","orcid":"https://orcid.org/0000-0001-6819-6845"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"J. Schmidt","raw_affiliation_strings":[" johannes.schmidt@lif.univ-mrs.fr"],"affiliations":[{"raw_affiliation_string":" johannes.schmidt@lif.univ-mrs.fr","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081736632","display_name":"Michael E. Thomas","orcid":"https://orcid.org/0009-0004-2121-6983"},"institutions":[{"id":"https://openalex.org/I4210162756","display_name":"TWT GmbH Science & Innovation (Germany)","ror":"https://ror.org/05dfxpw18","country_code":"DE","type":"company","lineage":["https://openalex.org/I4210162756"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"M. Thomas","raw_affiliation_strings":["TWT GmbH, Bernh\u00e4user Stra\u00dfe 40\u201342, Neuhausen auf den Fildern, 73765, GermanyE-mail:"],"affiliations":[{"raw_affiliation_string":"TWT GmbH, Bernh\u00e4user Stra\u00dfe 40\u201342, Neuhausen auf den Fildern, 73765, GermanyE-mail:","institution_ids":["https://openalex.org/I4210162756"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":4151,"currency":"USD","value_usd":4151,"provenance":"doaj"},"apc_paid":null,"fwci":0.419,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":9,"citation_normalized_percentile":{"value":0.864479,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":84,"max":85},"biblio":{"volume":"22","issue":"5","first_page":"1145","last_page":"1170"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic Programming and Knowledge Representation","score":0.9996,"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 Programming and Knowledge Representation","score":0.9996,"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":"Learning and Inference in Bayesian Networks","score":0.9983,"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/T11063","display_name":"Rough Sets Theory and Applications","score":0.9953,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/nonmonotonic-reasoning","display_name":"Nonmonotonic Reasoning","score":0.571852},{"id":"https://openalex.org/keywords/base","display_name":"Base (topology)","score":0.5366359},{"id":"https://openalex.org/keywords/probabilistic-learning","display_name":"Probabilistic Learning","score":0.521717},{"id":"https://openalex.org/keywords/modal-logics","display_name":"Modal Logics","score":0.519829},{"id":"https://openalex.org/keywords/description-logics","display_name":"Description Logics","score":0.517176},{"id":"https://openalex.org/keywords/knowledge-representation","display_name":"Knowledge Representation","score":0.514409}],"concepts":[{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.6733866},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.61103547},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.5533207},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5367298},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.5366359},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.48513898},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4139192},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.37405777},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34680462},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31601503},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.096696764},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.07730526},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1093/logcom/exr012","pdf_url":null,"source":{"id":"https://openalex.org/S47057106","display_name":"Journal of Logic and Computation","issn_l":"0955-792X","issn":["0955-792X","1465-363X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311647","https://openalex.org/P4310311648"],"host_organization_lineage_names":["University of Oxford","Oxford University Press"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-01194335","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01194335","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1006.4923.pdf","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1006.4923","pdf_url":"https://arxiv.org/pdf/1006.4923","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":null,"pdf_url":"https://arxiv.org/pdf/1006.4923.pdf","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","score":0.4,"id":"https://metadata.un.org/sdg/16"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":31,"referenced_works":["https://openalex.org/W1486060992","https://openalex.org/W1512249528","https://openalex.org/W1528600100","https://openalex.org/W1536929732","https://openalex.org/W1556423162","https://openalex.org/W1556751392","https://openalex.org/W1589711670","https://openalex.org/W1607817027","https://openalex.org/W1687766689","https://openalex.org/W1764662929","https://openalex.org/W1976656121","https://openalex.org/W1996184580","https://openalex.org/W2021238854","https://openalex.org/W2032312337","https://openalex.org/W2049316103","https://openalex.org/W2055356006","https://openalex.org/W2082723133","https://openalex.org/W2100657934","https://openalex.org/W2113666441","https://openalex.org/W2115826669","https://openalex.org/W2124301168","https://openalex.org/W2127845326","https://openalex.org/W2130665499","https://openalex.org/W2158937425","https://openalex.org/W2166566648","https://openalex.org/W2898424779","https://openalex.org/W2951449870","https://openalex.org/W4230626603","https://openalex.org/W4231766350","https://openalex.org/W4313457006","https://openalex.org/W73733072"],"related_works":["https://openalex.org/W949976107","https://openalex.org/W770516323","https://openalex.org/W2990043628","https://openalex.org/W2788816388","https://openalex.org/W2119215098","https://openalex.org/W2041191508","https://openalex.org/W1987118140","https://openalex.org/W1834198313","https://openalex.org/W1535347767","https://openalex.org/W1512746455"],"abstract_inverted_index":{"In":[0,35,120],"this":[1,36,121],"article,":[2,37],"we":[3,38,108,123,134,154],"investigate":[4],"the":[5,22,43,47,77,93,99,102,140,143,149,156,160],"complexity":[6,111,141],"of":[7,14,56,85,92,117,139,142,151,158],"abduction,":[8,41],"a":[9,18,110,136,165],"fundamental":[10],"and":[11,46,101,130,163],"important":[12],"form":[13],"non-monotonic":[15],"reasoning.":[16],"Given":[17],"knowledge":[19,44],"base":[20,45],"explaining":[21],"world's":[23],"behaviour,":[24],"it":[25],"aims":[26],"at":[27],"finding":[28],"an":[29,61],"explanation":[30,62],"for":[31,113],"some":[32],"observed":[33],"manifestation.":[34],"consider":[39,89],"propositional":[40,52,144],"where":[42],"manifestation":[48],"are":[49,80],"represented":[50],"by":[51],"formul\u00e6.":[53],"The":[54],"problem":[55,95,157],"deciding":[57],"whether":[58],"there":[59],"exists":[60],"has":[63],"been":[64],"shown":[65],"to":[66],"be":[67],"\u03a32p-complete":[68],"in":[69,75,96],"general.":[70],"We":[71,88],"focus":[72],"on":[73],"formul\u00e6":[74],"which":[76],"allowed":[78],"connectives":[79],"taken":[81],"from":[82],"certain":[83],"sets":[84,116],"Boolean":[86,118],"functions.":[87,119],"different":[90],"variants":[91],"abduction":[94,145],"restricting":[97],"both":[98],"manifestations":[100],"hypotheses.":[103],"For":[104],"all":[105,114],"these":[106],"variants,":[107],"obtain":[109],"classification":[112,167],"possible":[115],"way,":[122],"identify":[124],"easier":[125],"cases,":[126],"namely":[127],"NP-complete,":[128],"coNP-complete":[129],"polynomial":[131],"cases.":[132],"Thus,":[133],"get":[135],"detailed":[137],"picture":[138],"problem,":[146],"hence":[147],"highlighting":[148],"sources":[150],"intractability.":[152],"Further,":[153],"address":[155],"counting":[159],"full":[161],"explanations":[162],"prove":[164],"trichotomous":[166],"theorem.":[168]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1542902132","counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2024-11-05T08:13:33.900663","created_date":"2016-06-24"}
