{"id":"https://openalex.org/W3199180040","doi":"https://doi.org/10.24963/kr.2021/25","title":"Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches","display_name":"Expressing and Exploiting the Common Subgoal Structure of Classical Planning Domains Using Sketches","publication_year":2021,"publication_date":"2021-09-01","ids":{"openalex":"https://openalex.org/W3199180040","doi":"https://doi.org/10.24963/kr.2021/25","mag":"3199180040"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2021/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/25","pdf_url":"https://proceedings.kr.org/2021/25/kr2021-0025-drexler-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":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2021/25/kr2021-0025-drexler-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5022936950","display_name":"Dominik Drexler","orcid":"https://orcid.org/0000-0002-1350-2144"},"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":true,"raw_author_name":"Dominik Drexler","raw_affiliation_strings":["Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031089257","display_name":"Jendrik Seipp","orcid":"https://orcid.org/0000-0002-2498-8020"},"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":"Jendrik Seipp","raw_affiliation_strings":["Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046427368","display_name":"H\u00e9ctor Geffner","orcid":"https://orcid.org/0000-0001-9851-8219"},"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"]},{"id":"https://openalex.org/I11932220","display_name":"Instituci\u00f3 Catalana de Recerca i Estudis Avan\u00e7ats","ror":"https://ror.org/0371hy230","country_code":"ES","type":"nonprofit","lineage":["https://openalex.org/I11932220"]},{"id":"https://openalex.org/I170486558","display_name":"Pompeu Fabra University","ror":"https://ror.org/04n0g0b29","country_code":"ES","type":"education","lineage":["https://openalex.org/I170486558"]}],"countries":["ES","SE"],"is_corresponding":false,"raw_author_name":"Hector Geffner","raw_affiliation_strings":["Institucio Catalana de Recerca i Estudis Avancats (ICREA)","Link\u00f6ping University","Universitat Pompeu Fabra"],"affiliations":[{"raw_affiliation_string":"Institucio Catalana de Recerca i Estudis Avancats (ICREA)","institution_ids":["https://openalex.org/I11932220"]},{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]},{"raw_affiliation_string":"Universitat Pompeu Fabra","institution_ids":["https://openalex.org/I170486558"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5022936950"],"corresponding_institution_ids":["https://openalex.org/I102134673"],"apc_list":null,"apc_paid":null,"fwci":1.1197,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.82510543,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"258","last_page":"268"},"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.9940999746322632,"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/T12072","display_name":"Machine Learning and Algorithms","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/sketch","display_name":"Sketch","score":0.8653557300567627},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7524071931838989},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.6989139318466187},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6500885486602783},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6308630704879761},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4811348021030426},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4544953405857086},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.44381746649742126},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.34726816415786743},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22274503111839294},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20296230912208557}],"concepts":[{"id":"https://openalex.org/C2779231336","wikidata":"https://www.wikidata.org/wiki/Q7534724","display_name":"Sketch","level":2,"score":0.8653557300567627},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7524071931838989},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.6989139318466187},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6500885486602783},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6308630704879761},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4811348021030426},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4544953405857086},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.44381746649742126},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34726816415786743},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22274503111839294},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20296230912208557},{"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},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2021/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/25","pdf_url":"https://proceedings.kr.org/2021/25/kr2021-0025-drexler-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"},{"id":"pmh:oai:repositori-api.upf.edu:10230/55648","is_oa":false,"landing_page_url":"http://hdl.handle.net/10230/55648","pdf_url":null,"source":{"id":"https://openalex.org/S4306402615","display_name":"Repositori digital de la UPF (Universitat Pompeu Fabra)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I170486558","host_organization_name":"Universitat Pompeu Fabra","host_organization_lineage":["https://openalex.org/I170486558"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.24963/kr.2021/25","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2021/25","pdf_url":"https://proceedings.kr.org/2021/25/kr2021-0025-drexler-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":[{"display_name":"Sustainable cities and communities","id":"https://metadata.un.org/sdg/11","score":0.6700000166893005}],"awards":[{"id":"https://openalex.org/G1174531324","display_name":null,"funder_award_id":"Grant","funder_id":"https://openalex.org/F4320322327","funder_display_name":"Knut och Alice Wallenbergs Stiftelse"},{"id":"https://openalex.org/G1364868472","display_name":null,"funder_award_id":"2018-05973","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G1441096865","display_name":null,"funder_award_id":"2018-05973","funder_id":"https://openalex.org/F4320322327","funder_display_name":"Knut och Alice Wallenbergs Stiftelse"},{"id":"https://openalex.org/G3321450376","display_name":null,"funder_award_id":"05973","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G5356226767","display_name":null,"funder_award_id":"2018-0597","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G6625919268","display_name":null,"funder_award_id":"2018-05973","funder_id":"https://openalex.org/F4320322225","funder_display_name":"Link\u00f6pings Universitet"},{"id":"https://openalex.org/G712881263","display_name":null,"funder_award_id":"2018-","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G8683756101","display_name":null,"funder_award_id":"support","funder_id":"https://openalex.org/F4320322327","funder_display_name":"Knut och Alice Wallenbergs Stiftelse"}],"funders":[{"id":"https://openalex.org/F4320322225","display_name":"Link\u00f6pings Universitet","ror":"https://ror.org/05ynxx418"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"},{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3199180040.pdf","grobid_xml":"https://content.openalex.org/works/W3199180040.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W1496114564","https://openalex.org/W1555563750","https://openalex.org/W1683730406","https://openalex.org/W1989914740","https://openalex.org/W2042590837","https://openalex.org/W2098524748","https://openalex.org/W2100988719","https://openalex.org/W2101901809","https://openalex.org/W2111384628","https://openalex.org/W2116541436","https://openalex.org/W2141088850","https://openalex.org/W2147357263","https://openalex.org/W2164424353","https://openalex.org/W2210368431","https://openalex.org/W2279668280","https://openalex.org/W2401523698","https://openalex.org/W2578053071","https://openalex.org/W2604763608","https://openalex.org/W2605098186","https://openalex.org/W2733799446","https://openalex.org/W2740036433","https://openalex.org/W2759610117","https://openalex.org/W2785422319","https://openalex.org/W2801760638","https://openalex.org/W2900636635","https://openalex.org/W2917056950","https://openalex.org/W2953432230","https://openalex.org/W2962427345","https://openalex.org/W2962730572","https://openalex.org/W2963485726","https://openalex.org/W2964544903","https://openalex.org/W2990366588","https://openalex.org/W2996622139","https://openalex.org/W3034769194","https://openalex.org/W3091252828","https://openalex.org/W3106271432","https://openalex.org/W3106612030","https://openalex.org/W3146347964","https://openalex.org/W3162308726","https://openalex.org/W3174761502","https://openalex.org/W3175830949","https://openalex.org/W4288076474","https://openalex.org/W6675011887","https://openalex.org/W6675301218","https://openalex.org/W6681794749","https://openalex.org/W6688197206"],"related_works":["https://openalex.org/W2378994405","https://openalex.org/W2385974820","https://openalex.org/W1971224820","https://openalex.org/W2963977451","https://openalex.org/W3188573563","https://openalex.org/W4287064674","https://openalex.org/W3201246199","https://openalex.org/W1976890290","https://openalex.org/W2098836165","https://openalex.org/W1774334694"],"abstract_inverted_index":{"Width-based":[0],"planning":[1,129],"methods":[2],"deal":[3],"with":[4,144],"conjunctive":[5],"goals":[6],"by":[7,47,61,112,135],"decomposing":[8],"problems":[9],"into":[10],"subproblems":[11,35],"of":[12,33,75,83,91,150,203],"low":[13,141],"width.":[14,39],"Algorithms":[15],"like":[16,205],"SIW":[17,136,151],"thus":[18,160],"fail":[19],"when":[20,31],"the":[21,34,89,109,145,148],"goal":[22],"is":[23,80],"not":[24,116],"easily":[25],"serializable":[26],"in":[27,121,140,171],"this":[28,41],"way":[29,176],"or":[30,186],"some":[32],"have":[36],"a":[37,49,73,81,122,164,172,178],"high":[38],"In":[40],"work,":[42],"we":[43],"address":[44],"these":[45,92],"limitations":[46],"using":[48],"simple":[50,173],"but":[51,106],"powerful":[52,165],"language":[53,166],"for":[54,167],"expressing":[55,168],"finer":[56],"problem":[57,197],"decompositions":[58,198],"introduced":[59],"recently":[60],"Bonet":[62],"and":[63,77,174,177,199,208],"Geffner,":[64],"called":[65],"policy":[66,69,101,155],"sketches.":[67,156],"A":[68],"sketch":[70,84,113],"R":[71],"over":[72],"set":[74,82],"Boolean":[76],"numerical":[78],"features":[79,93],"rules":[85,114],"that":[86,127,131,152],"express":[87,195],"how":[88],"values":[90],"are":[94,103,137,159],"supposed":[95],"to":[96,118,162,181,194],"change.":[97],"Like":[98],"general":[99,196],"policies,":[100,108],"sketches":[102,158],"domain":[104],"general,":[105],"unlike":[107],"changes":[110],"captured":[111],"do":[115],"need":[117],"be":[119,133,163],"achieved":[120],"single":[123],"step.":[124],"We":[125],"show":[126],"many":[128],"domains":[130],"cannot":[132],"solved":[134],"provably":[138],"solvable":[139],"polynomial":[142],"time":[143],"SIW_R":[146],"algorithm,":[147],"version":[149],"employs":[153],"user-provided":[154],"Policy":[157],"shown":[161],"domain-specific":[169],"knowledge":[170],"compact":[175],"convenient":[179],"alternative":[180],"languages":[182],"such":[183],"as":[184],"HTNs":[185],"temporal":[187],"logics.":[188],"Furthermore,":[189],"they":[190],"make":[191],"it":[192],"easy":[193],"prove":[200],"key":[201],"properties":[202],"them":[204],"their":[206],"width":[207],"complexity.":[209]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}