{"id":"https://openalex.org/W7138063175","doi":"https://doi.org/10.1609/aaai.v40i23.38979","title":"Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach","display_name":"Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach","publication_year":2026,"publication_date":"2026-03-14","ids":{"openalex":"https://openalex.org/W7138063175","doi":"https://doi.org/10.1609/aaai.v40i23.38979"},"language":"en","primary_location":{"id":"doi:10.1609/aaai.v40i23.38979","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.38979","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.1609/aaai.v40i23.38979","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043075136","display_name":"Qihui Feng","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Qihui Feng","raw_affiliation_strings":["RWTH Aachen University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5129642849","display_name":"Gerhard Lakemeyer","orcid":null},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Gerhard Lakemeyer","raw_affiliation_strings":["RWTH Aachen University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RWTH Aachen University","institution_ids":["https://openalex.org/I887968799"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I887968799"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"40","issue":"23","first_page":"19064","last_page":"19072"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.7763000130653381,"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.7763000130653381,"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/T10906","display_name":"AI-based Problem Solving and Planning","score":0.13740000128746033,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.010200000368058681,"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/decidability","display_name":"Decidability","score":0.7656000256538391},{"id":"https://openalex.org/keywords/situation-calculus","display_name":"Situation calculus","score":0.7634999752044678},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.6585999727249146},{"id":"https://openalex.org/keywords/expressive-power","display_name":"Expressive power","score":0.6026999950408936},{"id":"https://openalex.org/keywords/action-theory","display_name":"Action theory (sociology)","score":0.5249000191688538},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.4851999878883362},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4745999872684479},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.453000009059906},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.43709999322891235}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.7656000256538391},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.7634999752044678},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.6585999727249146},{"id":"https://openalex.org/C195818886","wikidata":"https://www.wikidata.org/wiki/Q5421724","display_name":"Expressive power","level":2,"score":0.6026999950408936},{"id":"https://openalex.org/C206987240","wikidata":"https://www.wikidata.org/wiki/Q1520882","display_name":"Action theory (sociology)","level":2,"score":0.5249000191688538},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.49889999628067017},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.4851999878883362},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4745999872684479},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.453000009059906},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.43709999322891235},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.412200003862381},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4081000089645386},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4047999978065491},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3817000091075897},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.3662000000476837},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.36239999532699585},{"id":"https://openalex.org/C2776937656","wikidata":"https://www.wikidata.org/wiki/Q2229669","display_name":"Nesting (process)","level":2,"score":0.3564999997615814},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3465999960899353},{"id":"https://openalex.org/C2777796570","wikidata":"https://www.wikidata.org/wiki/Q2351326","display_name":"Dynamic logic (digital electronics)","level":4,"score":0.322299987077713},{"id":"https://openalex.org/C5065155","wikidata":"https://www.wikidata.org/wiki/Q1185775","display_name":"Frame problem","level":2,"score":0.3098999857902527},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3070000112056732},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C169900460","wikidata":"https://www.wikidata.org/wiki/Q2200417","display_name":"Cognition","level":2,"score":0.2971999943256378},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.2840000092983246},{"id":"https://openalex.org/C78344899","wikidata":"https://www.wikidata.org/wiki/Q638442","display_name":"Modal operator","level":4,"score":0.2816999852657318},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26899999380111694},{"id":"https://openalex.org/C11191006","wikidata":"https://www.wikidata.org/wiki/Q2663311","display_name":"Accessibility relation","level":4,"score":0.26429998874664307},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.25859999656677246},{"id":"https://openalex.org/C50335755","wikidata":"https://www.wikidata.org/wiki/Q483247","display_name":"Phenomenon","level":2,"score":0.25529998540878296}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1609/aaai.v40i23.38979","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.38979","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:publications.rwth-aachen.de:1038109","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/record/1038109","pdf_url":null,"source":{"id":"https://openalex.org/S4306401362","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fortieth AAAI Conference on Artificial Intelligence : Fortieth AAAI Conference on Artificial Intelligence/Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence/Sixteenth Symposium on Educational Advances in Artificial Intelligence : January 20-27, 2026, Singapore / edited by Sven Koenig, Chad Jenkins, Matthew E. Taylor ; sponsored by the Association for the Advancement of Artificial Intelligence<br/>40. AAAI Conference on Artificial Intelligence, AAAI 2026, Singapore, Singapore, 2026-01-20 - 2026-01-27<br/>16. Symposium on Educational Advances in Artificial Intelligence, EAAI-26, Singapore, Singapore, 2026-01-24 - 2026-01-26, 38. Conference on Innovative Applications of Artificial Intelligence, IAAI 2026, Singapore, Singapore, 2026-01-20 - 2026-01-24","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:ojs.aaai.org:article/38979","is_oa":false,"landing_page_url":"https://ojs.aaai.org/index.php/AAAI/article/view/38979","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2159-5399","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1609/aaai.v40i23.38979","is_oa":true,"landing_page_url":"https://doi.org/10.1609/aaai.v40i23.38979","pdf_url":null,"source":{"id":"https://openalex.org/S4210191458","display_name":"Proceedings of the AAAI Conference on Artificial Intelligence","issn_l":"2159-5399","issn":["2159-5399","2374-3468"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310320058","host_organization_name":"Association for the Advancement of Artificial Intelligence","host_organization_lineage":["https://openalex.org/P4310320058"],"host_organization_lineage_names":["Association for the Advancement of Artificial Intelligence"],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the AAAI Conference on Artificial Intelligence","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Multi-agent":[0],"epistemic":[1,43],"planning":[2,159],"(MEP)":[3],"is":[4],"the":[5,17,58,70,84,91,95,100,141,149,155,158,168,174,180],"task":[6],"of":[7,57,73,83,90,94,104,157],"generating":[8],"action":[9,62,109,121,176],"sequences":[10],"that":[11,87,132,178],"achieve":[12],"goals":[13],"specified":[14],"over":[15],"both":[16],"physical":[18],"world":[19],"and":[20,38,61,64],"agents\u2019":[21],"mental":[22],"states.":[23],"It":[24],"plays":[25],"an":[26,47,164],"important":[27],"role":[28],"in":[29],"research":[30],"domains":[31],"such":[32],"as":[33],"game":[34],"theory,":[35],"computational":[36],"economics,":[37],"cognitive":[39,101],"science.":[40],"While":[41],"dynamic":[42],"logic":[44],"(DEL)":[45],"provides":[46],"expressive":[48,92],"framework":[49],"for":[50],"MEP,":[51],"it":[52],"requires":[53],"complete,":[54],"model-based":[55],"specifications":[56],"initial":[59,142],"state":[60],"effects,":[63],"suffers":[65],"from":[66],"undecidability":[67],"due":[68],"to":[69,116,124,138,166,172],"unbounded":[71],"nesting":[72],"beliefs.":[74],"In":[75],"this":[76],"work,":[77],"we":[78,107,162],"propose":[79,163],"a":[80,129],"modal":[81],"variant":[82],"situation":[85],"calculus":[86],"captures":[88],"much":[89],"power":[93],"DEL":[96],"approach.":[97],"Inspired":[98],"by":[99],"concept":[102],"Theory":[103],"Mind":[105],"(ToM),":[106],"introduce":[108],"theories":[110,122],"with":[111],"hierarchical":[112],"structures,":[113],"allowing":[114],"agents":[115],"reason":[117],"about":[118,135,140],"other":[119],"agents'":[120],"up":[123],"bounded":[125],"depths.":[126],"We":[127],"develop":[128],"regression":[130,150],"method":[131],"reduces":[133],"reasoning":[134,139],"future":[136],"states":[137],"state.":[143],"By":[144],"preserving":[145],"bounded-order":[146],"ToM":[147],"throughout":[148],"process,":[151],"our":[152],"approach":[153],"ensures":[154],"decidability":[156],"problem.":[160],"Finally,":[161],"algorithm":[165],"find":[167,173],"optimal":[169],"solution,":[170],"namely,":[171],"shortest":[175],"sequence":[177],"achieves":[179],"goal.":[181]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2026-03-18T00:00:00"}