{"id":"https://openalex.org/W4415903172","doi":"https://doi.org/10.24963/kr.2025/58","title":"Interactive Exploration of Plan Spaces","display_name":"Interactive Exploration of Plan Spaces","publication_year":2025,"publication_date":"2025-11-01","ids":{"openalex":"https://openalex.org/W4415903172","doi":"https://doi.org/10.24963/kr.2025/58"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2025/58","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/58","pdf_url":"https://proceedings.kr.org/2025/58/kr2025-0058-gnad-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond 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/2025/58/kr2025-0058-gnad-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088566339","display_name":"Daniel Gnad","orcid":"https://orcid.org/0000-0001-7434-2669"},"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/I223822909","display_name":"Heidelberg University","ror":"https://ror.org/038t36y30","country_code":"DE","type":"education","lineage":["https://openalex.org/I223822909"]}],"countries":["DE","SE"],"is_corresponding":true,"raw_author_name":"Daniel Gnad","raw_affiliation_strings":["Heidelberg University","Link\u00f6ping University"],"affiliations":[{"raw_affiliation_string":"Heidelberg University","institution_ids":["https://openalex.org/I223822909"]},{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]},{"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/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Markus Hecher","raw_affiliation_strings":["Universit\u00e9 d'Artois (CRIL), CNRS"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 d'Artois (CRIL), CNRS","institution_ids":["https://openalex.org/I44563897"]}]},{"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"],"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","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"],"affiliations":[{"raw_affiliation_string":"TU Dresden","institution_ids":["https://openalex.org/I78650965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116141926","display_name":"David Speck","orcid":null},"institutions":[{"id":"https://openalex.org/I1850255","display_name":"University of Basel","ror":"https://ror.org/02s6k3f65","country_code":"CH","type":"education","lineage":["https://openalex.org/I1850255"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"David Speck","raw_affiliation_strings":["University of Basel"],"affiliations":[{"raw_affiliation_string":"University of Basel","institution_ids":["https://openalex.org/I1850255"]}]},{"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"],"affiliations":[{"raw_affiliation_string":"Link\u00f6ping University","institution_ids":["https://openalex.org/I102134673"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5088566339"],"corresponding_institution_ids":["https://openalex.org/I102134673","https://openalex.org/I223822909"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16829298,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"599","last_page":"609"},"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.8636000156402588,"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.8636000156402588,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.08799999952316284,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.013799999840557575,"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/plan","display_name":"Plan (archaeology)","score":0.8945000171661377},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6194999814033508},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.6111999750137329},{"id":"https://openalex.org/keywords/automated-planning-and-scheduling","display_name":"Automated planning and scheduling","score":0.48649999499320984},{"id":"https://openalex.org/keywords/business-system-planning","display_name":"Business system planning","score":0.27250000834465027}],"concepts":[{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.8945000171661377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6941999793052673},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6194999814033508},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.6111999750137329},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.48649999499320984},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.3192000091075897},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.3127000033855438},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.3021000027656555},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28119999170303345},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2759000062942505},{"id":"https://openalex.org/C18465707","wikidata":"https://www.wikidata.org/wiki/Q5001797","display_name":"Business system planning","level":2,"score":0.27250000834465027},{"id":"https://openalex.org/C174102782","wikidata":"https://www.wikidata.org/wiki/Q1321164","display_name":"Seven Management and Planning Tools","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.2639000117778778}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2025/58","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/58","pdf_url":"https://proceedings.kr.org/2025/58/kr2025-0058-gnad-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05388321v1","is_oa":false,"landing_page_url":"https://hal.science/hal-05388321","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"22nd International Conference on Principles of Knowledge Representation and Reasoning {KR-2025}, Nov 2025, Melbourne, Australia. pp.599-609, ⟨10.24963/kr.2025/58⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.24963/kr.2025/58","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/58","pdf_url":"https://proceedings.kr.org/2025/58/kr2025-0058-gnad-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2311672563","display_name":"Religious Minorities, Claims to Collective Rights and Collective Action.","funder_award_id":"52215","funder_id":"https://openalex.org/F4320320924","funder_display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung"},{"id":"https://openalex.org/G3165808449","display_name":null,"funder_award_id":"022-06725","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G4493597635","display_name":null,"funder_award_id":"NAISS","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G8338695050","display_name":null,"funder_award_id":"2022-0672","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"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"},{"id":"https://openalex.org/G8869864247","display_name":null,"funder_award_id":"2022-06725","funder_id":"https://openalex.org/F4320322581","funder_display_name":"Vetenskapsr\u00e5det"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320320924","display_name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","ror":"https://ror.org/00yjd3n13"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"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":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4415903172.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Many":[0],"planning":[1,35],"applications":[2],"require":[3],"not":[4,121],"only":[5],"a":[6,14,184],"single":[7,42],"solution":[8],"but":[9,119],"benefit":[10],"substantially":[11],"from":[12,19],"having":[13],"set":[15],"of":[16,159],"possible":[17],"plans":[18,53,59,80],"which":[20],"users":[21],"can":[22,113],"select,":[23],"for":[24,132],"example,":[25],"when":[26],"explaining":[27],"plans.":[28,43,125],"For":[29],"decades,":[30],"research":[31],"in":[32,99],"classical":[33],"AI":[34],"has":[36],"primarily":[37],"focused":[38],"on":[39],"quickly":[40,142],"finding":[41],"Only":[44],"recently":[45],"researchers":[46],"have":[47,103],"started":[48],"to":[49,60,81,95,174],"investigate":[50],"preferences,":[51],"enumerate":[52],"by":[54,116,123,145],"top-k":[55],"planning,":[56],"or":[57,127],"count":[58],"reason":[61,96],"about":[62,68,97],"the":[63,69,82,155],"plan":[64,70,118,136,167,177],"space.":[65],"Unfortunately,":[66],"reasoning":[67,162],"space":[71,168],"is":[72,84],"computationally":[73],"extremely":[74],"hard":[75],"and":[76,143,180,182],"feeding":[77],"many":[78],"similar":[79],"user":[83],"hardly":[85],"practical.":[86],"To":[87],"circumvent":[88],"computational":[89],"shortcomings":[90],"while":[91,138],"still":[92],"being":[93],"able":[94],"variability":[98],"plans,":[100],"faceted":[101],"actions":[102,111],"been":[104],"introduced":[105],"very":[106],"recently.":[107],"These":[108],"are":[109,120],"meaningful":[110],"that":[112,186],"be":[114],"used":[115],"some":[117],"required":[122],"all":[124],"Enforcing":[126],"forbidding":[128],"such":[129],"facets":[130,164],"allows":[131],"navigating":[133],"even":[134],"large":[135,176],"spaces":[137,178],"ensuring":[139],"desired":[140],"properties":[141],"step":[144],"step.":[146],"In":[147],"this":[148],"paper,":[149],"we":[150,187],"illustrate":[151],"an":[152,172],"industrial":[153],"challenge,":[154],"Beluga":[156],"logistics":[157],"problem":[158],"Airbus,":[160],"where":[161],"with":[163],"enables":[165],"targeted":[166],"navigation.":[169],"We":[170],"present":[171,183],"approach":[173],"handle":[175],"iteratively":[179],"interactively":[181],"tool":[185],"call":[188],"PlanPilot.":[189]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-11-05T00:00:00"}