{"id":"https://openalex.org/W4221156976","doi":"https://doi.org/10.24963/ijcai.2022/638","title":"Tight Bounds for Hybrid Planning","display_name":"Tight Bounds for Hybrid Planning","publication_year":2022,"publication_date":"2022-07-01","ids":{"openalex":"https://openalex.org/W4221156976","doi":"https://doi.org/10.24963/ijcai.2022/638"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2022/638","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/638","pdf_url":"https://www.ijcai.org/proceedings/2022/0638.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/0638.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009175450","display_name":"Pascal Bercher","orcid":"https://orcid.org/0000-0002-0795-4320"},"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":"Pascal Bercher","raw_affiliation_strings":["The Australian National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Australian National University","institution_ids":["https://openalex.org/I118347636"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046610355","display_name":"Songtuan Lin","orcid":null},"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":"Songtuan Lin","raw_affiliation_strings":["The Australian National University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The Australian National University","institution_ids":["https://openalex.org/I118347636"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081899728","display_name":"Ron Alford","orcid":"https://orcid.org/0000-0002-3688-0658"},"institutions":[{"id":"https://openalex.org/I44896327","display_name":"Mitre (United States)","ror":"https://ror.org/03ks2a131","country_code":"US","type":"company","lineage":["https://openalex.org/I44896327"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ron Alford","raw_affiliation_strings":["MITRE Coporation","The MITRE Corporation"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MITRE Coporation","institution_ids":["https://openalex.org/I44896327"]},{"raw_affiliation_string":"The MITRE Corporation","institution_ids":["https://openalex.org/I44896327"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3114,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.47792208,"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":"4597","last_page":"4605"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9998000264167786,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9998000264167786,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9958000183105469,"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.993399977684021,"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.6851735711097717},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.6320918798446655},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6198506951332092},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5614052414894104},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.5412726998329163},{"id":"https://openalex.org/keywords/computational-complexity-theory","display_name":"Computational complexity theory","score":0.5011169910430908},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.4771308898925781},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4677959084510803},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2198680341243744},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.15111708641052246}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6851735711097717},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.6320918798446655},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6198506951332092},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5614052414894104},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.5412726998329163},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.5011169910430908},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4771308898925781},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4677959084510803},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2198680341243744},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15111708641052246},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/ijcai.2022/638","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/638","pdf_url":"https://www.ijcai.org/proceedings/2022/0638.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"},{"id":"pmh:oai:openresearch-repository.anu.edu.au:1885/733811175","is_oa":false,"landing_page_url":"https://hdl.handle.net/1885/733811175","pdf_url":null,"source":{"id":"https://openalex.org/S4306402539","display_name":"ANU Open Research (Australian National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I118347636","host_organization_name":"Australian National University","host_organization_lineage":["https://openalex.org/I118347636"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Conference paper"}],"best_oa_location":{"id":"doi:10.24963/ijcai.2022/638","is_oa":true,"landing_page_url":"https://doi.org/10.24963/ijcai.2022/638","pdf_url":"https://www.ijcai.org/proceedings/2022/0638.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":[{"id":"https://metadata.un.org/sdg/11","score":0.75,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4221156976.pdf","grobid_xml":"https://content.openalex.org/works/W4221156976.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W4789806","https://openalex.org/W167769677","https://openalex.org/W1502563300","https://openalex.org/W1576796802","https://openalex.org/W1771834033","https://openalex.org/W1909819556","https://openalex.org/W1982129592","https://openalex.org/W1995231402","https://openalex.org/W2025262772","https://openalex.org/W2051722759","https://openalex.org/W2115942597","https://openalex.org/W2147357263","https://openalex.org/W2164457256","https://openalex.org/W2211270894","https://openalex.org/W2396044342","https://openalex.org/W2401204888","https://openalex.org/W2401389009","https://openalex.org/W2402910466","https://openalex.org/W2404353384","https://openalex.org/W2561046483","https://openalex.org/W2573852850","https://openalex.org/W2579337377","https://openalex.org/W2739785875","https://openalex.org/W2740426680","https://openalex.org/W2757089190","https://openalex.org/W2811199247","https://openalex.org/W2965413709","https://openalex.org/W2997573011","https://openalex.org/W3106960102","https://openalex.org/W3173784229","https://openalex.org/W3175557001","https://openalex.org/W3176840510","https://openalex.org/W3187460178","https://openalex.org/W4286381334","https://openalex.org/W4289760509"],"related_works":["https://openalex.org/W4394650907","https://openalex.org/W154364797","https://openalex.org/W4254119641","https://openalex.org/W3196207352","https://openalex.org/W2951724202","https://openalex.org/W3084261076","https://openalex.org/W2576399385","https://openalex.org/W2963408011","https://openalex.org/W4236324517","https://openalex.org/W1586813864"],"abstract_inverted_index":{"Several":[0],"hierarchical":[1,99],"planning":[2,26,45,56,75,100],"systems":[3,27],"feature":[4,20],"a":[5,107,125],"rich":[6],"level":[7],"of":[8,14,72,98,124],"language":[9],"features":[10],"making":[11],"them":[12],"capable":[13],"expressing":[15],"real-world":[16],"problems.":[17,76,101],"One":[18],"such":[19,73],"that's":[21],"used":[22,33],"by":[23],"several":[24],"current":[25],"is":[28,57],"causal":[29],"links,":[30],"which":[31],"are":[32],"to":[34,60,84],"track":[35],"search":[36],"progress.":[37],"The":[38],"formalism":[39],"combining":[40],"Hierarchical":[41],"Task":[42],"Network":[43],"(HTN)":[44],"with":[46],"these":[47],"links":[48],"known":[49,96],"from":[50,109],"Partial":[51],"Order":[52],"Causal":[53],"Link":[54],"(POCL)":[55],"often":[58],"referred":[59],"as":[61],"hybrid":[62,74],"planning.":[63],"In":[64],"this":[65],"paper":[66],"we":[67,79],"study":[68],"the":[69,110,122],"computational":[70],"complexity":[71,92],"More":[77],"specifically,":[78],"provide":[80,90],"missing":[81],"membership":[82],"results":[83],"existing":[85],"hardness":[86],"proofs":[87],"and":[88,105],"thereby":[89],"tight":[91],"bounds":[93],"for":[94,112],"all":[95],"subclasses":[97],"We":[102],"also":[103],"re-visit":[104],"correct":[106],"result":[108],"literature":[111],"plan":[113],"verification":[114],"showing":[115],"that":[116],"it":[117],"remains":[118],"NP-complete":[119],"even":[120],"in":[121],"absence":[123],"task":[126],"hierarchy.":[127]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-06-14T07:44:22.658603","created_date":"2025-10-10T00:00:00"}