{"id":"https://openalex.org/W2963860003","doi":"https://doi.org/10.24963/ijcai.2018/245","title":"The Complexity of Limited Belief Reasoning\u2014The Quantifier-Free Case","display_name":"The Complexity of Limited Belief Reasoning\u2014The Quantifier-Free Case","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2963860003","doi":"https://doi.org/10.24963/ijcai.2018/245","mag":"2963860003"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2018/245","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/245","pdf_url":"https://www.ijcai.org/proceedings/2018/0245.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.ijcai.org/proceedings/2018/0245.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101621254","display_name":"Yijia Chen","orcid":"https://orcid.org/0009-0006-6986-6736"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yijia Chen","raw_affiliation_strings":["Fudan University, Shanghai, China","Fudan University, Shanghai 201203, China"],"affiliations":[{"raw_affiliation_string":"Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]},{"raw_affiliation_string":"Fudan University, Shanghai 201203, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041765212","display_name":"Abdallah Saffidine","orcid":"https://orcid.org/0000-0001-9805-8291"},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Abdallah Saffidine","raw_affiliation_strings":["Australian National University, Canberra, Australia","Australian National University, Canberra ACT 2600, Australia"],"affiliations":[{"raw_affiliation_string":"Australian National University, Canberra, Australia","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Australian National University, Canberra ACT 2600, Australia","institution_ids":["https://openalex.org/I118347636"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051193060","display_name":"Christoph Schwering","orcid":null},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Christoph Schwering","raw_affiliation_strings":["University of New South Wales, Sydney, Australia","University of New South Wales, Sydney NSW 2052, Australia"],"affiliations":[{"raw_affiliation_string":"University of New South Wales, Sydney, Australia","institution_ids":["https://openalex.org/I31746571"]},{"raw_affiliation_string":"University of New South Wales, Sydney NSW 2052, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101621254"],"corresponding_institution_ids":["https://openalex.org/I24943067"],"apc_list":null,"apc_paid":null,"fwci":0.1629,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6310899,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1774","last_page":"1780"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9991999864578247,"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.9991999864578247,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/parameterized-complexity","display_name":"Parameterized complexity","score":0.6403239965438843},{"id":"https://openalex.org/keywords/omniscience","display_name":"Omniscience","score":0.5268104076385498},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.5230463743209839},{"id":"https://openalex.org/keywords/deductive-reasoning","display_name":"Deductive reasoning","score":0.4932512640953064},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.47975099086761475},{"id":"https://openalex.org/keywords/reasoning-system","display_name":"Reasoning system","score":0.4776826500892639},{"id":"https://openalex.org/keywords/psychology-of-reasoning","display_name":"Psychology of reasoning","score":0.46903619170188904},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.44412633776664734},{"id":"https://openalex.org/keywords/limit","display_name":"Limit (mathematics)","score":0.4287072420120239},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.4187059700489044},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4102213382720947},{"id":"https://openalex.org/keywords/model-based-reasoning","display_name":"Model-based reasoning","score":0.3917638063430786},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37462514638900757},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.276081919670105},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.2631126642227173},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.15712562203407288}],"concepts":[{"id":"https://openalex.org/C165464430","wikidata":"https://www.wikidata.org/wiki/Q1570441","display_name":"Parameterized complexity","level":2,"score":0.6403239965438843},{"id":"https://openalex.org/C2776127325","wikidata":"https://www.wikidata.org/wiki/Q1424662","display_name":"Omniscience","level":2,"score":0.5268104076385498},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.5230463743209839},{"id":"https://openalex.org/C97364631","wikidata":"https://www.wikidata.org/wiki/Q484284","display_name":"Deductive reasoning","level":2,"score":0.4932512640953064},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.47975099086761475},{"id":"https://openalex.org/C89288958","wikidata":"https://www.wikidata.org/wiki/Q7301504","display_name":"Reasoning system","level":2,"score":0.4776826500892639},{"id":"https://openalex.org/C183521366","wikidata":"https://www.wikidata.org/wiki/Q7256422","display_name":"Psychology of reasoning","level":4,"score":0.46903619170188904},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.44412633776664734},{"id":"https://openalex.org/C151201525","wikidata":"https://www.wikidata.org/wiki/Q177239","display_name":"Limit (mathematics)","level":2,"score":0.4287072420120239},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.4187059700489044},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4102213382720947},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.3917638063430786},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37462514638900757},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.276081919670105},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.2631126642227173},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.15712562203407288},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2018/245","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/245","pdf_url":"https://www.ijcai.org/proceedings/2018/0245.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2018/245","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2018/245","pdf_url":"https://www.ijcai.org/proceedings/2018/0245.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2963860003.pdf","grobid_xml":"https://content.openalex.org/works/W2963860003.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W48296306","https://openalex.org/W767163729","https://openalex.org/W1527197079","https://openalex.org/W1588085858","https://openalex.org/W1732327014","https://openalex.org/W1976904791","https://openalex.org/W1994227541","https://openalex.org/W2018964411","https://openalex.org/W2028441269","https://openalex.org/W2033042995","https://openalex.org/W2053017611","https://openalex.org/W2099143991","https://openalex.org/W2122219034","https://openalex.org/W2148717074","https://openalex.org/W2177576448","https://openalex.org/W2252001768","https://openalex.org/W2490706771","https://openalex.org/W2561253558","https://openalex.org/W2572706305","https://openalex.org/W2611504845","https://openalex.org/W2703543743","https://openalex.org/W2963328852","https://openalex.org/W2963860003"],"related_works":["https://openalex.org/W3081308103","https://openalex.org/W2567893123","https://openalex.org/W1557741300","https://openalex.org/W2106247677","https://openalex.org/W1885715326","https://openalex.org/W2025996316","https://openalex.org/W1945364905","https://openalex.org/W2347305376","https://openalex.org/W2182693335","https://openalex.org/W1974525301"],"abstract_inverted_index":{"The":[0],"classical":[1,85],"view":[2],"of":[3,15,21,58,94,116],"epistemic":[4],"logic":[5],"is":[6,24,38,74,92],"that":[7,66,82],"an":[8],"agent":[9],"knows":[10],"all":[11],"the":[12,50,55,72,76,89,95,101,110,114,120],"logical":[13,22,36],"consequences":[14],"their":[16],"knowledge":[17],"base.":[18],"This":[19],"assumption":[20],"omniscience":[23,37],"often":[25],"unrealistic":[26],"and":[27,113],"makes":[28],"reasoning":[29,41,51,59,68,86],"computationally":[30],"intractable.":[31],"One":[32],"approach":[33],"to":[34,39,42,79,107],"avoid":[35],"limit":[40],"a":[43],"certain":[44],"belief":[45,61,90,111],"level,":[46],"which":[47],"intuitively":[48],"measures":[49],"\"depth\".This":[52],"paper":[53],"investigates":[54],"computational":[56],"complexity":[57,77,105],"with":[60],"levels.":[62],"First":[63],"we":[64,98],"show":[65],"while":[67],"remains":[69],"tractable":[70],"if":[71],"level":[73,91,112],"constant,":[75],"jumps":[78],"PSPACE-complete":[80],"--":[81,87],"is,":[83],"beyond":[84],"when":[88],"part":[93],"input.":[96],"Then":[97],"further":[99],"refine":[100],"picture":[102],"using":[103],"parameterized":[104],"theory":[106],"investigate":[108],"how":[109],"number":[115],"non-logical":[117],"symbols":[118],"affect":[119],"complexity.":[121]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}