{"id":"https://openalex.org/W3205917349","doi":"https://doi.org/10.24963/kr.2021/41","title":"Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases","display_name":"Unfounded Sets for Disjunctive Hybrid MKNF Knowledge Bases","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W3205917349","doi":"https://doi.org/10.24963/kr.2021/41","mag":"3205917349"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2021/41","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/41","pdf_url":"https://proceedings.kr.org/2021/41/kr2021-0041-killen-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2021/41/kr2021-0041-killen-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041632931","display_name":"Spencer Killen","orcid":null},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Spencer Killen","raw_affiliation_strings":["University of Alberta"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Alberta","institution_ids":["https://openalex.org/I154425047"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103160823","display_name":"Jia-Huai You","orcid":"https://orcid.org/0000-0001-9372-4371"},"institutions":[{"id":"https://openalex.org/I154425047","display_name":"University of Alberta","ror":"https://ror.org/0160cpw27","country_code":"CA","type":"education","lineage":["https://openalex.org/I154425047"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Jia-Huai You","raw_affiliation_strings":["University of Alberta"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Alberta","institution_ids":["https://openalex.org/I154425047"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154425047"],"apc_list":null,"apc_paid":null,"fwci":0.4396,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.62944761,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"432","last_page":"441"},"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/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9954000115394592,"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.9919000267982483,"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/computer-science","display_name":"Computer science","score":0.7095940709114075},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.6824893951416016},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.602790892124176},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5550153255462646},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4689682722091675},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.4294183850288391},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4140809178352356},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.27438420057296753},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24869149923324585}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7095940709114075},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.6824893951416016},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.602790892124176},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5550153255462646},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4689682722091675},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.4294183850288391},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4140809178352356},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.27438420057296753},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24869149923324585},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2021/41","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/41","pdf_url":"https://proceedings.kr.org/2021/41/kr2021-0041-killen-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2021/41","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/41","pdf_url":"https://proceedings.kr.org/2021/41/kr2021-0041-killen-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Eighteenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3205917349.pdf","grobid_xml":"https://content.openalex.org/works/W3205917349.grobid-xml"},"referenced_works_count":15,"referenced_works":["https://openalex.org/W28460116","https://openalex.org/W1498546115","https://openalex.org/W1968513265","https://openalex.org/W1994584977","https://openalex.org/W2023141722","https://openalex.org/W2036241121","https://openalex.org/W2045427198","https://openalex.org/W2049791401","https://openalex.org/W2087432892","https://openalex.org/W2578895614","https://openalex.org/W2730732660","https://openalex.org/W2963390246","https://openalex.org/W6649090136","https://openalex.org/W6661773472","https://openalex.org/W6732635222"],"related_works":["https://openalex.org/W1973480752","https://openalex.org/W2805502594","https://openalex.org/W3132641048","https://openalex.org/W4253208712","https://openalex.org/W31439402","https://openalex.org/W2217679042","https://openalex.org/W4221009164","https://openalex.org/W2161960556","https://openalex.org/W2898772359","https://openalex.org/W2150695558"],"abstract_inverted_index":{"Combining":[0],"the":[1,10,16,36,51,53,94,100,105,168],"closed-world":[2],"reasoning":[3,12,39],"of":[4,13,18,20,38,57,96,102,134,170,183,193],"answer":[5],"set":[6],"programming":[7],"(ASP)":[8],"with":[9,127,190],"open-world":[11],"ontologies":[14,162],"broadens":[15],"space":[17],"applications":[19],"reasoners.":[21],"Disjunctive":[22],"hybrid":[23,60,123],"MKNF":[24,61,124],"knowledge":[25,62,125,139],"bases":[26,63,126],"succinctly":[27],"extend":[28],"ASP":[29],"and":[30,72,145],"in":[31,42,74,93,167],"some":[32,178],"cases":[33],"without":[34],"increasing":[35],"complexity":[37,143],"tasks.":[40],"However,":[41],"many":[43],"cases,":[44],"solver":[45],"development":[46,169],"is":[47,64,81],"lagging":[48],"behind.":[49],"As":[50],"result,":[52],"only":[54],"known":[55],"method":[56],"solving":[58],"disjunctive":[59,128,173],"based":[65],"on":[66],"guess-and-verify,":[67],"as":[68],"formulated":[69],"by":[70,89,161],"Motik":[71],"Rosati":[73],"their":[75],"original":[76],"work.":[77],"A":[78],"main":[79],"obstacle":[80],"understanding":[82],"how":[83,147],"constraint":[84],"propagation":[85],"may":[86],"be":[87],"performed":[88],"a":[90,111,132,154],"solver,":[91],"which,":[92],"context":[95],"ASP,":[97],"centers":[98],"around":[99],"computation":[101],"\\textit{unfounded":[103],"atoms},":[104],"atoms":[106],"that":[107,163],"are":[108,164],"false":[109],"given":[110],"partial":[112],"interpretation.":[113],"In":[114],"this":[115],"work,":[116],"we":[117,148],"build":[118],"towards":[119],"improving":[120],"solvers":[121,171],"for":[122,137,172],"rules:":[129],"We":[130,157,186],"formalize":[131],"notion":[133],"unfounded":[135,184,194],"sets":[136],"these":[138,151],"bases,":[140],"identify":[141],"lower":[142],"bounds,":[144],"demonstrate":[146],"might":[149],"integrate":[150],"developments":[152],"into":[153],"DPLL-based":[155],"solver.":[156],"discuss":[158],"challenges":[159],"introduced":[160],"not":[165],"present":[166],"logic":[174],"programs,":[175],"which":[176],"warrant":[177],"deviations":[179],"from":[180],"traditional":[181],"definitions":[182,192],"sets.":[185,195],"compare":[187],"our":[188],"work":[189],"prior":[191]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}