{"id":"https://openalex.org/W4306873650","doi":"https://doi.org/10.1145/3568955","title":"Witnesses for Answer Sets of Logic Programs","display_name":"Witnesses for Answer Sets of Logic Programs","publication_year":2022,"publication_date":"2022-10-20","ids":{"openalex":"https://openalex.org/W4306873650","doi":"https://doi.org/10.1145/3568955"},"language":"en","primary_location":{"id":"doi:10.1145/3568955","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3568955","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/A5101688864","display_name":"Yisong Wang","orcid":"https://orcid.org/0000-0003-2126-7006"},"institutions":[{"id":"https://openalex.org/I178232147","display_name":"Guizhou University","ror":"https://ror.org/02wmsc916","country_code":"CN","type":"education","lineage":["https://openalex.org/I178232147"]},{"id":"https://openalex.org/I4210156872","display_name":"Guizhou Institute of Technology","ror":"https://ror.org/05x510r30","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210156872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yisong Wang","raw_affiliation_strings":["Department of Computer Science and Technology, Guizhou University; Institute for Artificial Intelligence, Guizhou University, Guiyang, Guizhou, China","Department of Computer Science and Technology, Guizhou University"],"raw_orcid":"https://orcid.org/0000-0003-2126-7006","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Guizhou University; Institute for Artificial Intelligence, Guizhou University, Guiyang, Guizhou, China","institution_ids":["https://openalex.org/I178232147","https://openalex.org/I4210156872"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Guizhou University","institution_ids":["https://openalex.org/I178232147"]}]},{"author_position":"middle","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":false,"raw_author_name":"Thomas Eiter","raw_affiliation_strings":["Institute of Logic and Computation, Technische Universit\u00e4t Wien, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0001-6003-6345","affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, Technische Universit\u00e4t Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101715531","display_name":"Yuanlin Zhang","orcid":"https://orcid.org/0000-0002-8276-8472"},"institutions":[{"id":"https://openalex.org/I12315562","display_name":"Texas Tech University","ror":"https://ror.org/0405mnx93","country_code":"US","type":"education","lineage":["https://openalex.org/I12315562"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Yuanlin Zhang","raw_affiliation_strings":["Texas Tech University, Lubbock, TX, USA"],"raw_orcid":"https://orcid.org/0000-0002-8276-8472","affiliations":[{"raw_affiliation_string":"Texas Tech University, Lubbock, TX, USA","institution_ids":["https://openalex.org/I12315562"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102011179","display_name":"Fangzhen Lin","orcid":"https://orcid.org/0000-0002-3141-8675"},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Fangzhen Lin","raw_affiliation_strings":["Hong Kong University of Science and Technology, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0002-3141-8675","affiliations":[{"raw_affiliation_string":"Hong Kong University of Science and Technology, Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6962,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.744762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"24","issue":"2","first_page":"1","last_page":"46"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9950000047683716,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9768000245094299,"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.797211766242981},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7050737738609314},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5727120041847229},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.5719982385635376},{"id":"https://openalex.org/keywords/reduct","display_name":"Reduct","score":0.565920352935791},{"id":"https://openalex.org/keywords/logic-program","display_name":"Logic program","score":0.5519148111343384},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5384097099304199},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49607643485069275},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4946877658367157},{"id":"https://openalex.org/keywords/resolution","display_name":"Resolution (logic)","score":0.47936612367630005},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4784267544746399},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4718095064163208},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4660170376300812},{"id":"https://openalex.org/keywords/circumscription","display_name":"Circumscription","score":0.4328112304210663},{"id":"https://openalex.org/keywords/infinite-set","display_name":"Infinite set","score":0.4130600094795227},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.3622109889984131},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3537547290325165},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.2593364119529724},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21389484405517578},{"id":"https://openalex.org/keywords/rough-set","display_name":"Rough set","score":0.0943756103515625}],"concepts":[{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.797211766242981},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7050737738609314},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5727120041847229},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.5719982385635376},{"id":"https://openalex.org/C69177213","wikidata":"https://www.wikidata.org/wiki/Q12880812","display_name":"Reduct","level":3,"score":0.565920352935791},{"id":"https://openalex.org/C2987117450","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic program","level":3,"score":0.5519148111343384},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5384097099304199},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49607643485069275},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4946877658367157},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.47936612367630005},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4784267544746399},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4718095064163208},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4660170376300812},{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.4328112304210663},{"id":"https://openalex.org/C199879729","wikidata":"https://www.wikidata.org/wiki/Q205140","display_name":"Infinite set","level":3,"score":0.4130600094795227},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.3622109889984131},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3537547290325165},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.2593364119529724},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21389484405517578},{"id":"https://openalex.org/C111012933","wikidata":"https://www.wikidata.org/wiki/Q3137210","display_name":"Rough set","level":2,"score":0.0943756103515625},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3568955","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3568955","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"},{"id":"pmh:oai:repository.hkust.edu.hk:1783.1-126627","is_oa":false,"landing_page_url":"https://repository.hkust.edu.hk/ir/Record/1783.1-126627","pdf_url":null,"source":{"id":"https://openalex.org/S4306401796","display_name":"Rare & Special e-Zone (The Hong Kong University of Science and Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I200769079","host_organization_name":"Hong Kong University of Science and Technology","host_organization_lineage":["https://openalex.org/I200769079"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.41999998688697815}],"awards":[{"id":"https://openalex.org/G6551279178","display_name":null,"funder_award_id":"61976065 and U1836205","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":76,"referenced_works":["https://openalex.org/W560364776","https://openalex.org/W591404106","https://openalex.org/W1493657719","https://openalex.org/W1565496223","https://openalex.org/W1573411777","https://openalex.org/W1611226978","https://openalex.org/W1694306392","https://openalex.org/W1969965298","https://openalex.org/W1983252739","https://openalex.org/W1983870751","https://openalex.org/W1985161451","https://openalex.org/W1988666619","https://openalex.org/W2008106366","https://openalex.org/W2011992362","https://openalex.org/W2023141722","https://openalex.org/W2026565317","https://openalex.org/W2036241121","https://openalex.org/W2069767473","https://openalex.org/W2076698873","https://openalex.org/W2083735344","https://openalex.org/W2087418187","https://openalex.org/W2087432892","https://openalex.org/W2091138122","https://openalex.org/W2108400336","https://openalex.org/W2108911687","https://openalex.org/W2109826876","https://openalex.org/W2112296007","https://openalex.org/W2126420408","https://openalex.org/W2138596350","https://openalex.org/W2158505527","https://openalex.org/W2169041689","https://openalex.org/W2171456022","https://openalex.org/W2222364239","https://openalex.org/W2274394000","https://openalex.org/W2301736536","https://openalex.org/W2408502454","https://openalex.org/W2531563875","https://openalex.org/W2578895614","https://openalex.org/W2608239929","https://openalex.org/W2725553666","https://openalex.org/W2806283782","https://openalex.org/W2809729522","https://openalex.org/W2891226953","https://openalex.org/W2898694742","https://openalex.org/W2898857312","https://openalex.org/W2912400503","https://openalex.org/W2913288853","https://openalex.org/W2951006899","https://openalex.org/W2963095307","https://openalex.org/W2963352051","https://openalex.org/W2963473400","https://openalex.org/W2963938567","https://openalex.org/W2966902333","https://openalex.org/W2969392128","https://openalex.org/W2973328396","https://openalex.org/W2985257580","https://openalex.org/W2994667977","https://openalex.org/W3042143383","https://openalex.org/W3087843682","https://openalex.org/W3088333893","https://openalex.org/W3089031584","https://openalex.org/W3099229524","https://openalex.org/W3099992913","https://openalex.org/W3101981467","https://openalex.org/W3105322051","https://openalex.org/W3117136598","https://openalex.org/W3121094365","https://openalex.org/W3124373176","https://openalex.org/W3132091045","https://openalex.org/W3161731903","https://openalex.org/W3194660215","https://openalex.org/W4237194859","https://openalex.org/W4300069470","https://openalex.org/W4396522340","https://openalex.org/W6629714349","https://openalex.org/W6652439679"],"related_works":["https://openalex.org/W2134039900","https://openalex.org/W1597306959","https://openalex.org/W2256886837","https://openalex.org/W1482272107","https://openalex.org/W2176973685","https://openalex.org/W1627528933","https://openalex.org/W2124627636","https://openalex.org/W2544650017","https://openalex.org/W1575307414","https://openalex.org/W2092211394"],"abstract_inverted_index":{"In":[0,119,211],"this":[1,112,120,195],"article,":[2,121],"we":[3,122,144,213],"consider":[4,165],"Answer":[5],"Set":[6],"Programming":[7],"(ASP).":[8],"It":[9,38,84],"is":[10,71,102,218,260],"a":[11,22,25,67,103,124,154,250],"declarative":[12],"problem":[13,23,217],"solving":[14],"paradigm":[15],"that":[16,51,107,146,170,215,241],"can":[17,136],"be":[18,172,187],"used":[19],"to":[20,32,56,59,139,174],"encode":[21],"as":[24],"logic":[26,91,99,110,130,225,232],"program":[27,82],"whose":[28],"answer":[29,52,73,149,258],"sets":[30,53,167,179,183],"correspond":[31],"the":[33,36,60,63,95,140,192,216],"solutions":[34,58],"of":[35,65,69,97,106,108,126,168,180,184,194,201,256],"problem.":[37],"has":[39,85,114],"been":[40,86,116],"widely":[41],"applied":[42],"in":[43,46,160],"various":[44,203],"domains":[45],"AI":[47],"and":[48,81,132,190,205,222,239,246],"beyond.":[49],"Given":[50],"are":[54,191],"supposed":[55],"yield":[57],"original":[61],"problem,":[62],"question":[64,113],"\u201cwhy":[66],"set":[68,259],"atoms":[70],"an":[72,254,257],"set\u201d":[74],"becomes":[75],"important":[76],"for":[77,89,94,128,147,157,178,208,220,229,242,253],"both":[78],"semantics":[79],"understanding":[80],"debugging.":[83],"well":[87],"investigated":[88],"normal":[90,109,221],"programs.":[92,233],"However,":[93],"class":[96],"disjunctive":[98,129,224,231],"programs,":[100,111,226],"which":[101],"substantial":[104],"extension":[105],"not":[115],"addressed":[117],"much.":[118],"propose":[123],"notion":[125],"reduct":[127,152],"programs":[131],"show":[133,145,214],"how":[134],"it":[135],"provide":[137,175,206],"answers":[138],"aforementioned":[141],"question.":[142],"First,":[143],"each":[148,158],"set,":[150],"its":[151],"provides":[153],"resolution":[155,176],"proof":[156],"atom":[159,255],"it.":[161],"We":[162,197,234],"then":[163],"further":[164],"minimal":[166,251],"rules":[169,185],"will":[171,186],"sufficient":[173],"proofs":[177],"atoms.":[181],"Such":[182],"called":[188],"witnesses":[189,204],"focus":[193],"article.":[196],"study":[198],"complexity":[199],"issues":[200],"computing":[202,209,249],"algorithms":[207],"them.":[210],"particular,":[212],"tractable":[219],"headcycle-free":[223],"but":[227],"intractable":[228],"general":[230],"also":[235],"conducted":[236],"some":[237],"experiments":[238],"found":[240],"many":[243],"well-known":[244],"ASP":[245],"SAT":[247],"benchmarks,":[248],"witness":[252],"often":[261],"feasible.":[262]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":4}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}