Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains-Reference-Cited by-同舟云学术

Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains

Published:2023-03-27 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Pham Loc¹^ORCID,Son Tran Cao¹^ORCID,Pontelli Enrico¹^ORCID

Affiliation:

1. New Mexico State University, United States

Funder

NSF (National Science Foundation)

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3555776.3577612

Reference16 articles.

1. A. Baltag and L. Moss. 2004. Logics for epistemic programs. Synthese (2004). A. Baltag and L. Moss. 2004. Logics for epistemic programs. Synthese (2004).

2. 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.

3. An action language for multi-agent domains;Baral Chitta;Artificial Intelligence,2022

4. 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.

5. 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.