{"id":"https://openalex.org/W4285603502","doi":"https://doi.org/10.24963/ijcai.2022/732","title":"Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract)","display_name":"Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract)","publication_year":2022,"publication_date":"2022-07-01","ids":{"openalex":"https://openalex.org/W4285603502","doi":"https://doi.org/10.24963/ijcai.2022/732"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2022/732","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/732","pdf_url":"https://www.ijcai.org/proceedings/2022/0732.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.ijcai.org/proceedings/2022/0732.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013023773","display_name":"Viktor Besin","orcid":null},"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":true,"raw_author_name":"Viktor Besin","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"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/I176453806","display_name":"University of Potsdam","ror":"https://ror.org/03bnmw459","country_code":"DE","type":"education","lineage":["https://openalex.org/I176453806"]},{"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","DE"],"is_corresponding":false,"raw_author_name":"Markus Hecher","raw_affiliation_strings":["TU Wien, Vienna, Austria","University of Potsdam, Potsdam, Germany"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"University of Potsdam, Potsdam, Germany","institution_ids":["https://openalex.org/I176453806"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006053030","display_name":"Stefan Woltran","orcid":"https://orcid.org/0000-0003-1594-8972"},"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":"Stefan Woltran","raw_affiliation_strings":["TU Wien, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5013023773"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05468998,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5264","last_page":"5268"},"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.996999979019165,"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.9916999936103821,"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/treewidth","display_name":"Treewidth","score":0.7474727034568787},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.7262688279151917},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5917089581489563},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.500563383102417},{"id":"https://openalex.org/keywords/introspection","display_name":"Introspection","score":0.4897008240222931},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.45223069190979004},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.4516366124153137},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.45053666830062866},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.44797199964523315},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44406747817993164},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.43094584345817566},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.42636242508888245},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.4172939956188202},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.4115658104419708},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.39220863580703735},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.2796511650085449},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.21987667679786682},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.1071937084197998},{"id":"https://openalex.org/keywords/pathwidth","display_name":"Pathwidth","score":0.10372158885002136}],"concepts":[{"id":"https://openalex.org/C132569581","wikidata":"https://www.wikidata.org/wiki/Q5067368","display_name":"Treewidth","level":5,"score":0.7474727034568787},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.7262688279151917},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5917089581489563},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.500563383102417},{"id":"https://openalex.org/C129671850","wikidata":"https://www.wikidata.org/wiki/Q210501","display_name":"Introspection","level":2,"score":0.4897008240222931},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.45223069190979004},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.4516366124153137},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.45053666830062866},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.44797199964523315},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44406747817993164},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.43094584345817566},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.42636242508888245},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.4172939956188202},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.4115658104419708},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.39220863580703735},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.2796511650085449},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.21987667679786682},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.1071937084197998},{"id":"https://openalex.org/C43517604","wikidata":"https://www.wikidata.org/wiki/Q7144893","display_name":"Pathwidth","level":4,"score":0.10372158885002136},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C203776342","wikidata":"https://www.wikidata.org/wiki/Q1378376","display_name":"Line graph","level":3,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2022/732","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/732","pdf_url":"https://www.ijcai.org/proceedings/2022/0732.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2022/732","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/732","pdf_url":"https://www.ijcai.org/proceedings/2022/0732.pdf","source":{"id":"https://openalex.org/S4363608755","display_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G29884786","display_name":null,"funder_award_id":"ICT19-065","funder_id":"https://openalex.org/F4320321003","funder_display_name":"Vienna Science and Technology Fund"},{"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/G8951755804","display_name":null,"funder_award_id":"P32830","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321003","display_name":"Vienna Science and Technology Fund","ror":"https://ror.org/01f9mc681"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4285603502.pdf","grobid_xml":"https://content.openalex.org/works/W4285603502.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W98741451","https://openalex.org/W1586014657","https://openalex.org/W2087432892","https://openalex.org/W2091138122","https://openalex.org/W2120465900","https://openalex.org/W2125058377","https://openalex.org/W2345230773","https://openalex.org/W2468539056","https://openalex.org/W2469470624","https://openalex.org/W2529967604","https://openalex.org/W2617661790","https://openalex.org/W2742047667","https://openalex.org/W2953599410","https://openalex.org/W2963311843","https://openalex.org/W2996917877","https://openalex.org/W3030023697","https://openalex.org/W3040346023","https://openalex.org/W3088535933","https://openalex.org/W3100943299","https://openalex.org/W3101458312","https://openalex.org/W3104376605","https://openalex.org/W3174909990","https://openalex.org/W3177280612","https://openalex.org/W3204797423","https://openalex.org/W3214340885","https://openalex.org/W4226051860","https://openalex.org/W4287907441"],"related_works":["https://openalex.org/W1511110679","https://openalex.org/W2982297897","https://openalex.org/W3100943299","https://openalex.org/W154816051","https://openalex.org/W4385352523","https://openalex.org/W3195436951","https://openalex.org/W1557741300","https://openalex.org/W2567893123","https://openalex.org/W80604035","https://openalex.org/W1546293312"],"abstract_inverted_index":{"Extending":[0],"the":[1,17,25,110,120,130,142,153],"popular":[2],"Answer":[3],"Set":[4],"Programming":[5],"(ASP)":[6],"paradigm":[7],"by":[8,157],"introspective":[9],"reasoning":[10,76,106],"capacities":[11],"has":[12,80],"received":[13],"increasing":[14],"interest":[15],"within":[16],"last":[18],"years.":[19],"Particular":[20],"attention":[21],"is":[22],"given":[23],"to":[24,42,84],"formalism":[26],"of":[27,66,94,96,112,116,123,139,162],"epistemic":[28],"logic":[29],"programs":[30],"(ELPs)":[31],"where":[32,109],"standard":[33,85],"rules":[34],"are":[35,127],"equipped":[36],"with":[37,129],"modal":[38],"operators":[39],"which":[40],"allow":[41],"express":[43],"conditions":[44],"on":[45,119],"literals":[46,117],"for":[47,75,107,147],"being":[48],"known":[49,69],"or":[50,56],"possible,":[51],"i.e.,":[52],"contained":[53],"in":[54],"all":[55],"some":[57],"answer":[58,67],"sets,":[59,68],"respectively.":[60],"ELPs":[61,74],"thus":[62],"deliver":[63],"multiple":[64],"collections":[65],"as":[70],"world":[71,97,124],"views.":[72,98],"Employing":[73],"problems":[77,88,145],"so":[78],"far":[79],"mainly":[81],"been":[82],"restricted":[83],"deci-":[86],"sion":[87],"(complexity":[89],"analysis)":[90],"and":[91],"enumeration":[92],"(development":[93],"systems)":[95],"In":[99],"this":[100],"paper,":[101],"we":[102,133],"first":[103],"establish":[104],"quantitative":[105,148],"ELPs,":[108],"acceptance":[111],"a":[113,135],"certain":[114],"set":[115],"depends":[118],"number":[121],"(proportion)":[122],"views":[125],"that":[126],"compatible":[128],"set.":[131],"Second,":[132],"present":[134],"novel":[136],"system":[137,151],"capable":[138],"efficiently":[140],"solving":[141],"underlying":[143],"counting":[144],"required":[146],"reasoning.":[149],"Our":[150],"exploits":[152],"graph-based":[154],"measure":[155],"treewidth":[156],"iteratively":[158],"finding":[159],"(graph)":[160],"abstractions":[161],"ELPs.":[163]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}