{"id":"https://openalex.org/W4415903175","doi":"https://doi.org/10.24963/kr.2025/76","title":"Counterfactual Scenarios for Automated Planning","display_name":"Counterfactual Scenarios for Automated Planning","publication_year":2025,"publication_date":"2025-11-01","ids":{"openalex":"https://openalex.org/W4415903175","doi":"https://doi.org/10.24963/kr.2025/76"},"language":null,"primary_location":{"id":"doi:10.24963/kr.2025/76","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/76","pdf_url":"https://proceedings.kr.org/2025/76/kr2025-0076-gigante-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":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2025/76/kr2025-0076-gigante-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070497827","display_name":"Nicola Gigante","orcid":"https://orcid.org/0000-0002-2254-4821"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicola Gigante","raw_affiliation_strings":["Free University of Bozen-Bolzano"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Free University of Bozen-Bolzano","institution_ids":["https://openalex.org/I171543936"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043590673","display_name":"Francesco Leofante","orcid":"https://orcid.org/0000-0001-8245-9429"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Francesco Leofante","raw_affiliation_strings":["Imperial College London"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044668534","display_name":"Andrea Micheli","orcid":"https://orcid.org/0000-0002-6370-1061"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Micheli","raw_affiliation_strings":["Fondazione Bruno Kessler"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler","institution_ids":["https://openalex.org/I2277624104"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28704202,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"794","last_page":"804"},"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.7850000262260437,"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.7850000262260437,"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.05889999866485596,"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/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.0414000004529953,"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/counterfactual-thinking","display_name":"Counterfactual thinking","score":0.9901999831199646},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.7024999856948853},{"id":"https://openalex.org/keywords/counterfactual-conditional","display_name":"Counterfactual conditional","score":0.6359999775886536},{"id":"https://openalex.org/keywords/plan","display_name":"Plan (archaeology)","score":0.6176999807357788},{"id":"https://openalex.org/keywords/construct","display_name":"Construct (python library)","score":0.546500027179718}],"concepts":[{"id":"https://openalex.org/C108650721","wikidata":"https://www.wikidata.org/wiki/Q1783253","display_name":"Counterfactual thinking","level":2,"score":0.9901999831199646},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.7024999856948853},{"id":"https://openalex.org/C71889745","wikidata":"https://www.wikidata.org/wiki/Q1783264","display_name":"Counterfactual conditional","level":3,"score":0.6359999775886536},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6359000205993652},{"id":"https://openalex.org/C2776505523","wikidata":"https://www.wikidata.org/wiki/Q4785468","display_name":"Plan (archaeology)","level":2,"score":0.6176999807357788},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.546500027179718},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.41769999265670776},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.40119999647140503},{"id":"https://openalex.org/C179799912","wikidata":"https://www.wikidata.org/wiki/Q205084","display_name":"Computational complexity theory","level":2,"score":0.3409000039100647},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.303600013256073},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.2903999984264374},{"id":"https://openalex.org/C114073186","wikidata":"https://www.wikidata.org/wiki/Q2631895","display_name":"Automated planning and scheduling","level":2,"score":0.2784999907016754},{"id":"https://openalex.org/C42475967","wikidata":"https://www.wikidata.org/wiki/Q194292","display_name":"Operations research","level":1,"score":0.2526000142097473}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2025/76","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/76","pdf_url":"https://proceedings.kr.org/2025/76/kr2025-0076-gigante-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"}],"best_oa_location":{"id":"doi:10.24963/kr.2025/76","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/76","pdf_url":"https://proceedings.kr.org/2025/76/kr2025-0076-gigante-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":[],"funders":[{"id":"https://openalex.org/F4320320283","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415903175.pdf","grobid_xml":"https://content.openalex.org/works/W4415903175.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Counterfactual":[0],"Explanations":[1],"(CEs)":[2],"are":[3,182],"a":[4,19,30,65,81,100,113,126,199,214],"powerful":[5],"technique":[6],"used":[7],"to":[8,18,28,54,85,133,216],"explain":[9],"Machine":[10],"Learning":[11],"models":[12],"by":[13],"showing":[14],"how":[15],"the":[16,26,39,62,78,90,169,205],"input":[17],"model":[20,27],"should":[21],"be":[22],"minimally":[23],"changed":[24],"for":[25,201],"produce":[29],"different":[31,66,178],"output.":[32],"Similar":[33],"proposals":[34],"have":[35,46],"been":[36,47],"made":[37],"in":[38,49,61,220],"context":[40],"of":[41,51,64,80,89,125,152,172,180,208],"Automated":[42],"Planning,":[43],"where":[44],"CEs":[45],"characterised":[48],"terms":[50],"minimal":[52,131],"modifications":[53,132],"an":[55,118,157],"existing":[56],"plan":[57,200],"that":[58,104,136,140,162,188],"would":[59],"result":[60],"satisfaction":[63],"goal.":[67],"While":[68],"such":[69,135,174],"explanations":[70],"may":[71],"help":[72],"diagnose":[73],"faults":[74],"and":[75,117,211],"reason":[76],"about":[77],"characteristics":[79],"plan,":[82,127],"they":[83],"fail":[84],"capture":[86],"higher-level":[87],"properties":[88,124],"problem":[91,115],"being":[92],"solved.":[93],"To":[94],"address":[95],"this":[96,145,221],"limitation,":[97],"we":[98,147],"propose":[99],"novel":[101],"explanation":[102],"paradigm":[103],"is":[105,192],"based":[106,155],"on":[107,156,184],"counterfactual":[108,128,153,175,190],"scenarios.":[109],"In":[110,144],"particular,":[111],"given":[112],"planning":[114],"P":[116,134],"LTLf":[119],"formula":[120],"\u03c8":[121],"defining":[122],"desired":[123],"scenarios":[129,154,176,191],"identify":[130],"it":[137],"admits":[138],"plans":[139,161],"comply":[141],"with":[142],"\u03c8.":[143,165],"paper,":[146],"present":[148],"two":[149],"qualitative":[150],"instantiations":[151],"explicit":[158],"quantification":[159],"over":[160],"must":[163],"satisfy":[164],"We":[166,186],"then":[167],"characterise":[168],"computational":[170],"complexity":[171],"generating":[173],"when":[177],"types":[179],"changes":[181],"allowed":[183],"P.":[185],"show":[187],"producing":[189],"often":[193],"only":[194],"as":[195,197],"expensive":[196],"computing":[198],"P,":[202],"thus":[203],"demonstrating":[204],"practical":[206,218],"viability":[207],"our":[209],"proposal":[210],"ultimately":[212],"providing":[213],"framework":[215],"construct":[217],"algorithms":[219],"area.":[222]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-11-05T00:00:00"}