{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T19:15:56Z","timestamp":1762024556039,"version":"build-2065373602"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,7]]},"abstract":"<jats:p>Action models of Dynamic Epistemic Logic (DEL) represent precisely how actions are perceived by agents. DEL has recently been used to define infinite multi-player games, and it was shown that they can be solved in some cases. However, the dynamics being defined by the classic DEL update product for individual actions, only turn-based games have been considered so far. In this work we define a concurrent DEL product, propose a mechanism to resolve conflicts between actions, and define concurrent DEL games. As in the turn-based case, the obtained concurrent infinite game arenas can be finitely represented when all actions are public, or all are propositional. Thus we identify cases where the strategic epistemic logic ATL*K can be model checked on such games.<\/jats:p>","DOI":"10.24963\/ijcai.2020\/260","type":"proceedings-article","created":{"date-parts":[[2020,7,8]],"date-time":"2020-07-08T12:12:10Z","timestamp":1594210330000},"page":"1877-1883","source":"Crossref","is-referenced-by-count":10,"title":["Concurrent Games in Dynamic Epistemic Logic"],"prefix":"10.24963","author":[{"given":"Bastien","family":"Maubert","sequence":"first","affiliation":[{"name":"Universita\u0300 degli Studi di Napoli \u201cFederico II\u201d, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Pinchinat","sequence":"additional","affiliation":[{"name":"Universite\u0301 de Rennes, IRISA, CNRS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francois","family":"Schwarzentruber","sequence":"additional","affiliation":[{"name":"Universite\u0301 de Rennes, IRISA, CNRS, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Stranieri","sequence":"additional","affiliation":[{"name":"Universita\u0300 degli Studi di Napoli \u201cFederico II\u201d, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"number":"28","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"acronym":"IJCAI-PRICAI-2020","name":"Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20}","start":{"date-parts":[[2020,7,11]]},"theme":"Artificial Intelligence","location":"Yokohama, Japan","end":{"date-parts":[[2020,7,17]]}},"container-title":["Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2020,7,9]],"date-time":"2020-07-09T02:14:08Z","timestamp":1594260848000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2020\/260"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2020\/260","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}