{"id":"https://openalex.org/W4400487601","doi":"https://doi.org/10.1145/3676964","title":"Computationally Hard Problems for Logic Programs under Answer Set Semantics","display_name":"Computationally Hard Problems for Logic Programs under Answer Set Semantics","publication_year":2024,"publication_date":"2024-07-10","ids":{"openalex":"https://openalex.org/W4400487601","doi":"https://doi.org/10.1145/3676964"},"language":"en","primary_location":{"id":"doi:10.1145/3676964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3676964","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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":"ACM Transactions on Computational Logic","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/A5102954640","display_name":"Yuping Shen","orcid":"https://orcid.org/0009-0008-3698-6381"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yuping Shen","raw_affiliation_strings":["Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, Guangzhou, P. R. China"],"raw_orcid":"https://orcid.org/0009-0008-3698-6381","affiliations":[{"raw_affiliation_string":"Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, Guangzhou, P. R. China","institution_ids":["https://openalex.org/I157773358"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014066173","display_name":"Xishun Zhao","orcid":"https://orcid.org/0009-0006-9333-4406"},"institutions":[{"id":"https://openalex.org/I157773358","display_name":"Sun Yat-sen University","ror":"https://ror.org/0064kty71","country_code":"CN","type":"education","lineage":["https://openalex.org/I157773358"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xishun Zhao","raw_affiliation_strings":["Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, Guangzhou, P. R. China"],"raw_orcid":"https://orcid.org/0009-0006-9333-4406","affiliations":[{"raw_affiliation_string":"Institute of Logic and Cognition, Department of Philosophy, Sun Yat-sen University, Guangzhou, P. R. China","institution_ids":["https://openalex.org/I157773358"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102954640"],"corresponding_institution_ids":["https://openalex.org/I157773358"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08196295,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"25","issue":"4","first_page":"1","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.9998999834060669,"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.9998999834060669,"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.9975000023841858,"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.9968000054359436,"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/stable-model-semantics","display_name":"Stable model semantics","score":0.8087664246559143},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7645647525787354},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.6655368804931641},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6489985585212708},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5876470804214478},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5679342746734619},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5455302000045776},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.450137734413147},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.43448707461357117},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3483246862888336},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.26143789291381836}],"concepts":[{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.8087664246559143},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7645647525787354},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.6655368804931641},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6489985585212708},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5876470804214478},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5679342746734619},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5455302000045776},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.450137734413147},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.43448707461357117},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3483246862888336},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.26143789291381836}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3676964","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3676964","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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":"ACM Transactions on Computational Logic","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W41330591","https://openalex.org/W1488953105","https://openalex.org/W1520950860","https://openalex.org/W1564514837","https://openalex.org/W1587191403","https://openalex.org/W1595443289","https://openalex.org/W1627006034","https://openalex.org/W1639901403","https://openalex.org/W1694306392","https://openalex.org/W1969965298","https://openalex.org/W1970629906","https://openalex.org/W1970755596","https://openalex.org/W1986804393","https://openalex.org/W2004414305","https://openalex.org/W2009718960","https://openalex.org/W2011124182","https://openalex.org/W2017205387","https://openalex.org/W2017290750","https://openalex.org/W2060270693","https://openalex.org/W2061739322","https://openalex.org/W2072046078","https://openalex.org/W2079430756","https://openalex.org/W2083820240","https://openalex.org/W2087563242","https://openalex.org/W2091138122","https://openalex.org/W2094001511","https://openalex.org/W2117009583","https://openalex.org/W2144198727","https://openalex.org/W2152131859","https://openalex.org/W2158059231","https://openalex.org/W2304178603","https://openalex.org/W2312856063","https://openalex.org/W2478708596","https://openalex.org/W2490907619","https://openalex.org/W2531563875","https://openalex.org/W2608239929","https://openalex.org/W2912080987","https://openalex.org/W3157585079","https://openalex.org/W3200493159","https://openalex.org/W4206794571","https://openalex.org/W4206807714","https://openalex.org/W4214677882","https://openalex.org/W4241441762","https://openalex.org/W4251068495","https://openalex.org/W4252948584","https://openalex.org/W4254790956","https://openalex.org/W4298227433","https://openalex.org/W4361876935"],"related_works":["https://openalex.org/W1575307414","https://openalex.org/W4231236017","https://openalex.org/W1627528933","https://openalex.org/W1556363336","https://openalex.org/W2076569795","https://openalex.org/W3088092049","https://openalex.org/W2611359631","https://openalex.org/W3106212667","https://openalex.org/W2174235632","https://openalex.org/W3048361371"],"abstract_inverted_index":{"Showing":[0],"that":[1,36,75],"a":[2,7,47,86,116,136,147,155],"problem":[3,35,78],"is":[4,11,79,103],"hard":[5,80,141],"for":[6,67,81,139,143,150],"model":[8,48],"of":[9,13,49,93,158],"computation":[10],"one":[12],"the":[14,76,131,168],"most":[15],"challenging":[16],"tasks":[17],"in":[18],"theoretical":[19],"computer":[20],"science,":[21],"logic":[22,51,107],"and":[23,63,113,145,166],"mathematics.":[24],"For":[25],"example,":[26],"it":[27],"remains":[28],"beyond":[29],"reach":[30],"to":[31,105,123],"find":[32],"an":[33,90,125,151],"explicit":[34],"cannot":[37],"be":[38],"computed":[39],"by":[40],"polynomial":[41],"size":[42,98],"propositional":[43],"formulas":[44],"(PF).":[45],"As":[46],"computation,":[50],"programs":[52,108],"(LP)":[53],"under":[54],"answer":[55],"set":[56],"semantics":[57],"are":[58,162],"as":[59,61,120],"expressive":[60,165],"PF":[62],"also":[64],"\\(\\mathtt{NP}\\)":[65],"-complete":[66],"satisfiability":[68],"checking.":[69],"In":[70],"this":[71],"article,":[72],"we":[73,134],"show":[74],"PAR":[77],"LP,":[82],"i.e.,":[83],"deciding":[84],"whether":[85],"binary":[87],"string":[88],"contains":[89],"odd":[91],"number":[92],"\\(1\\)":[94],"\u2019s":[95],"requires":[96],"exponential":[97,126],"LP.":[99],"The":[100],"proof":[101],"idea":[102],"first":[104],"transform":[106],"into":[109],"equivalent":[110],"boolean":[111],"circuits":[112],"then":[114],"apply":[115],"probabilistic":[117],"method":[118],"known":[119],"random":[121],"restriction":[122],"obtain":[124],"lower":[127],"bound.":[128],"Based":[129],"on":[130],"main":[132],"result,":[133],"generalize":[135],"sufficient":[137],"condition":[138],"identifying":[140],"problems":[142],"LP":[144,152],"give":[146],"separation":[148],"map":[149],"family":[153],"from":[154],"computational":[156],"point":[157],"view,":[159],"whose":[160],"members":[161],"all":[163],"equally":[164],"share":[167],"same":[169],"reasoning":[170],"complexity.":[171]},"counts_by_year":[],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}