{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:12:54Z","timestamp":1750219974183,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,3,27]],"date-time":"2023-03-27T00:00:00Z","timestamp":1679875200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["1757207","1914635","1812628","2151254"],"award-info":[{"award-number":["1757207","1914635","1812628","2151254"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,3,27]]},"DOI":"10.1145\/3555776.3577612","type":"proceedings-article","created":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T17:16:29Z","timestamp":1686158189000},"page":"957-964","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0180-0451","authenticated-orcid":false,"given":"Loc","family":"Pham","sequence":"first","affiliation":[{"name":"New Mexico State University, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3689-8433","authenticated-orcid":false,"given":"Tran Cao","family":"Son","sequence":"additional","affiliation":[{"name":"New Mexico State University, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7753-1737","authenticated-orcid":false,"given":"Enrico","family":"Pontelli","sequence":"additional","affiliation":[{"name":"New Mexico State University, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"A. Baltag and L. Moss. 2004. Logics for epistemic programs. Synthese (2004). A. Baltag and L. Moss. 2004. Logics for epistemic programs. Synthese (2004).","DOI":"10.1007\/1-4020-4094-6_1"},{"key":"e_1_3_2_1_2_1","unstructured":"A. Baltag L. Moss and S. Solecki. 1998. The logic of public announcements common knowledge and private suspicions. In 7th TARK. 43--56. A. Baltag L. Moss and S. Solecki. 1998. The logic of public announcements common knowledge and private suspicions. In 7th TARK. 43--56."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","first-page":"103601","DOI":"10.1016\/j.artint.2021.103601","article-title":"An action language for multi-agent domains","volume":"302","author":"Baral Chitta","year":"2022","unstructured":"Chitta Baral , Gregory Gelfond , Enrico Pontelli , and Tran Cao Son . 2022 . An action language for multi-agent domains . Artificial Intelligence 302 (2022), 103601 . Chitta Baral, Gregory Gelfond, Enrico Pontelli, and Tran Cao Son. 2022. An action language for multi-agent domains. Artificial Intelligence 302 (2022), 103601.","journal-title":"Artificial Intelligence"},{"volume-title":"Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic","author":"Bolander Thomas","key":"e_1_3_2_1_4_1","unstructured":"Thomas Bolander . 2018. Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic . Springer International Publishing , Cham , 207--236. Thomas Bolander. 2018. Seeing Is Believing: Formalising False-Belief Tasks in Dynamic Epistemic Logic. Springer International Publishing, Cham, 207--236."},{"key":"e_1_3_2_1_5_1","volume-title":"Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision. (9","author":"Buckingham David","year":"2020","unstructured":"David Buckingham , Daniel Kasenberg , and Matthias Scheutz . 2020. Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision. (9 2020 ), 172--181. David Buckingham, Daniel Kasenberg, and Matthias Scheutz. 2020. Simultaneous Representation of Knowledge and Belief for Epistemic Planning with Belief Revision. (9 2020), 172--181."},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the International Conference on Automated Planning and Scheduling 30","author":"Fabiano Francesco","year":"2020","unstructured":"Francesco Fabiano , Alessandro Burigana , Agostino Dovier , and Enrico Pontelli . 2020 . EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations . Proceedings of the International Conference on Automated Planning and Scheduling 30 , 1 (Jun. 2020), 101--109. https:\/\/ojs.aaai.org\/index.php\/ICAPS\/article\/view\/6650 Francesco Fabiano, Alessandro Burigana, Agostino Dovier, and Enrico Pontelli. 2020. EFP 2.0: A Multi-Agent Epistemic Solver with Multiple E-State Representations. Proceedings of the International Conference on Automated Planning and Scheduling 30, 1 (Jun. 2020), 101--109. https:\/\/ojs.aaai.org\/index.php\/ICAPS\/article\/view\/6650"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"R. Fagin J. Halpern Y. Moses and M. Vardi. 1995. Reasoning about Knowledge. MIT press. R. Fagin J. Halpern Y. Moses and M. Vardi. 1995. Reasoning about Knowledge. MIT press.","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"e_1_3_2_1_8_1","volume-title":"EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. In International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press.","author":"Le Tiep","year":"2018","unstructured":"Tiep Le , Francesco Fabiano , Tran Cao Son , and Enrico Pontelli . 2018 . EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. In International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press. Tiep Le, Francesco Fabiano, Tran Cao Son, and Enrico Pontelli. 2018. EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. In International Conference on Automated Planning and Scheduling (ICAPS). AAAI Press."},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 22)","author":"Pham Loc","year":"2022","unstructured":"Loc Pham , Yusuf Izmirlioglu , Tran Cao Son , and Enrico Pontelli . 2022 . A New Semantics for Action Language mA* . In Proceedings of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 22) . Springer, 553--562. 10.1007\/978-3-031-21203-1_33 Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, and Enrico Pontelli. 2022. A New Semantics for Action Language mA*. In Proceedings of the 24th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 22). Springer, 553--562. 10.1007\/978-3-031-21203-1_33"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. 519--528","author":"Rajaratnam David","year":"2021","unstructured":"David Rajaratnam and Michael Thielscher . 2021 . Representing and Reasoning with Event Models for Epistemic Planning . In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. 519--528 . 10.24963\/kr.2021\/49 David Rajaratnam and Michael Thielscher. 2021. Representing and Reasoning with Event Models for Epistemic Planning. In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. 519--528. 10.24963\/kr.2021\/49"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","article-title":"Logics of communication and change","volume":"204","author":"van Benthem Johan","year":"2006","unstructured":"Johan van Benthem , Jan van Eijck , and Barteld P. Kooi . 2006 . Logics of communication and change . Inf. Comput. 204 , 11 (2006), 1620 -- 1662 . Johan van Benthem, Jan van Eijck, and Barteld P. Kooi. 2006. Logics of communication and change. Inf. Comput. 204, 11 (2006), 1620--1662.","journal-title":"Inf. Comput."},{"key":"e_1_3_2_1_12_1","first-page":"229","article-title":"Prolegomena to dynamic logic for belief revision","volume":"147","author":"van Ditmarsch H.","year":"2005","unstructured":"H. van Ditmarsch . 2005 . Prolegomena to dynamic logic for belief revision . Synthese (Knowledge, Rationality & Action) 147 (2005), 229 -- 275 . H. van Ditmarsch. 2005. Prolegomena to dynamic logic for belief revision. Synthese (Knowledge, Rationality & Action) 147 (2005), 229--275.","journal-title":"Synthese (Knowledge, Rationality & Action)"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1111\/tops.12492"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"H. van Ditmarsch W. van der Hoek and B. Kooi. 2007. Dynamic Epistemic Logic. Springer. H. van Ditmarsch W. van der Hoek and B. Kooi. 2007. Dynamic Epistemic Logic. Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"e_1_3_2_1_15_1","volume-title":"Dynamic Epistemic Logic","author":"van Ditmarsch Hans","unstructured":"Hans van Ditmarsch , Wiebe van der Hoek , and Barteld Kooi . 2007. Dynamic Epistemic Logic ( 1 st ed.). Springer Publishing Company, Inc orporated. Hans van Ditmarsch, Wiebe van der Hoek, and Barteld Kooi. 2007. Dynamic Epistemic Logic (1st ed.). Springer Publishing Company, Incorporated.","edition":"1"},{"volume-title":"4th International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, 141--148","author":"van Ditmarsch Hans","key":"e_1_3_2_1_16_1","unstructured":"Hans van Ditmarsch , Wiebe van der Hoek, and Barteld P. Kooi. 2005. Dynamic epistemic logic with assignment . In 4th International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, 141--148 . Hans van Ditmarsch, Wiebe van der Hoek, and Barteld P. Kooi. 2005. Dynamic epistemic logic with assignment. In 4th International Joint Conference on Autonomous Agents and Multiagent Systems. ACM, 141--148."}],"event":{"name":"SAC '23: 38th ACM\/SIGAPP Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Tallinn Estonia","acronym":"SAC '23"},"container-title":["Proceedings of the 38th ACM\/SIGAPP Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577612","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3555776.3577612","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:49:19Z","timestamp":1750182559000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3555776.3577612"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,3,27]]},"references-count":16,"alternative-id":["10.1145\/3555776.3577612","10.1145\/3555776"],"URL":"https:\/\/doi.org\/10.1145\/3555776.3577612","relation":{},"subject":[],"published":{"date-parts":[[2023,3,27]]},"assertion":[{"value":"2023-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}