{"id":"https://openalex.org/W4403792823","doi":"https://doi.org/10.24963/kr.2024/60","title":"Navigating and Querying Answer Sets: How Hard Is It Really and Why?","display_name":"Navigating and Querying Answer Sets: How Hard Is It Really and Why?","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792823","doi":"https://doi.org/10.24963/kr.2024/60"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/60","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/60","pdf_url":"https://proceedings.kr.org/2024/60/kr2024-0060-rusovac-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst 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/2024/60/kr2024-0060-rusovac-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5019433873","display_name":"Dominik Rusovac","orcid":"https://orcid.org/0000-0002-3172-5827"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dominik Rusovac","raw_affiliation_strings":["TU Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056989280","display_name":"Markus Hecher","orcid":"https://orcid.org/0000-0003-0131-6771"},"institutions":[{"id":"https://openalex.org/I63966007","display_name":"Massachusetts Institute of Technology","ror":"https://ror.org/042nb2s44","country_code":"US","type":"education","lineage":["https://openalex.org/I63966007"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Markus Hecher","raw_affiliation_strings":["Massachusetts Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Massachusetts Institute of Technology","institution_ids":["https://openalex.org/I63966007"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031763173","display_name":"Martin Gebser","orcid":null},"institutions":[{"id":"https://openalex.org/I4210166741","display_name":"University of Klagenfurt","ror":"https://ror.org/05q9m0937","country_code":"AT","type":"education","lineage":["https://openalex.org/I4210166741"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Martin Gebser","raw_affiliation_strings":["University of Klagenfurt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Klagenfurt","institution_ids":["https://openalex.org/I4210166741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057170398","display_name":"Sarah Alice Gaggl","orcid":"https://orcid.org/0000-0003-2425-6089"},"institutions":[{"id":"https://openalex.org/I78650965","display_name":"Technische Universit\u00e4t Dresden","ror":"https://ror.org/042aqky30","country_code":"DE","type":"education","lineage":["https://openalex.org/I78650965"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sarah Alice Gaggl","raw_affiliation_strings":["TU Dresden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089442472","display_name":"Johannes K. Fichte","orcid":"https://orcid.org/0000-0002-8681-7470"},"institutions":[{"id":"https://openalex.org/I102134673","display_name":"Link\u00f6ping University","ror":"https://ror.org/05ynxx418","country_code":"SE","type":"education","lineage":["https://openalex.org/I102134673"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Johannes K. Fichte","raw_affiliation_strings":["Link\u00f6ping University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"642","last_page":"653"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.9595000147819519,"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/T10028","display_name":"Topic Modeling","score":0.9595000147819519,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9470000267028809,"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.702216625213623},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.4221079647541046},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.41053450107574463},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.35296785831451416}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.702216625213623},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4221079647541046},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.41053450107574463},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.35296785831451416}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/60","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/60","pdf_url":"https://proceedings.kr.org/2024/60/kr2024-0060-rusovac-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2024/60","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/60","pdf_url":"https://proceedings.kr.org/2024/60/kr2024-0060-rusovac-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G29884786","display_name":"Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI","funder_award_id":"ICT19-065","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"id":"https://openalex.org/G4712284355","display_name":null,"funder_award_id":"57616814","funder_id":"https://openalex.org/F4320320875","funder_display_name":"Deutscher Akademischer Austauschdienst"},{"id":"https://openalex.org/G6098565189","display_name":null,"funder_award_id":"57616814","funder_id":"https://openalex.org/F4320321114","funder_display_name":"Bundesministerium f\u00fcr Bildung und Forschung"},{"id":"https://openalex.org/G6483656518","display_name":null,"funder_award_id":"ICT19-065","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G718477789","display_name":"Extending Belief Change to Advance Dynamics in Argumentation","funder_award_id":"P30168","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"},{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321004","display_name":"\u00d6sterreichischen Akademie der Wissenschaften","ror":"https://ror.org/03anc3s24"},{"id":"https://openalex.org/F4320321114","display_name":"Bundesministerium f\u00fcr Bildung und Forschung","ror":"https://ror.org/04pz7b180"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792823.pdf","grobid_xml":"https://content.openalex.org/works/W4403792823.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Answer":[0],"set":[1,108],"programming":[2],"is":[3,49,67],"a":[4,20,23,139],"popular":[5],"declarative":[6],"paradigm":[7],"with":[8,116],"countless":[9],"applications":[10],"for":[11,29,70,114],"modeling":[12],"and":[13,51,120,131,150,166,173],"solving":[14],"combinatorial":[15],"problems.":[16],"We":[17,110,176],"can":[18],"view":[19],"program":[21],"as":[22,61,123,125],"knowledge":[24],"database":[25],"compactly":[26],"representing":[27],"conditions":[28],"solutions.":[30],"Often":[31],"we":[32,58,102],"are":[33],"interested":[34],"in":[35,144],"reasoning":[36,115,135],"about":[37],"solutions":[38],"of":[39,46,64,91,106,129],"filtering":[40],"answer":[41,56,65,83,107],"sets.":[42],"At":[43],"the":[44,87,104,126,154],"heart":[45],"these":[47],"questions":[48,163],"brave":[50],"cautious":[52],"reasoning.":[53],"For":[54],"browsing":[55],"sets,":[57],"combine":[59],"both":[60],"restricting":[62],"atoms":[63,71],"sets":[66,84],"only":[68],"meaningful":[69],"called":[72],"facets":[73,165,169],"that":[74],"belong":[75],"to":[76,81,137,153,170],"some":[77],"(brave)":[78],"but":[79],"not":[80],"all":[82],"(cautious).":[85],"Surprisingly,":[86],"precise":[88],"computational":[89],"complexity":[90,105,145],"facet":[92],"problems":[93],"remained":[94],"widely":[95],"open":[96],"so":[97],"far.":[98],"In":[99],"this":[100],"paper,":[101],"study":[103,159],"facets.":[109,133],"establish":[111],"tight":[112],"results":[113,179],"facets,":[117,130],"deciding":[118],"upper":[119],"lower":[121],"bounds":[122],"well":[124],"exact":[127],"number":[128],"comparing":[132],"Facet":[134],"seems":[136],"be":[138],"natural":[140],"problem":[141],"formalism,":[142],"residing":[143],"families":[146],"\u03a3\u1d3e,":[147],"\u03a0\u1d3e,":[148],"D\u1d3e,":[149],"\u0398\u1d3e,":[151],"up":[152],"third":[155],"level.":[156],"Moreover,":[157],"our":[158,178],"considers":[160],"quantitative":[161],"importance":[162],"on":[164],"generalizing":[167],"from":[168],"conjunctions,":[171],"disjunctions,":[172],"arbitrary":[174],"queries.":[175],"complete":[177],"by":[180],"an":[181],"experimental":[182],"evaluation.":[183]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}