{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,8,7]],"date-time":"2024-08-07T07:37:35Z","timestamp":1723016255056},"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>Epistemic planning has been employed as a means to achieve implicit coordination in cooperative multi-agent systems where world knowledge is distributed between the agents, and agents plan and act individually. However, recent work has shown that even if all agents act with respect to plans that they consider optimal from their own subjective perspective, infinite executions can occur. In this paper, we analyze the idea of using a single token that can be passed around between the agents and which is used as a prerequisite for acting. We show that introducing such a token to any planning task will prevent the existence of infinite executions. We furthermore analyze the conditions under which solutions to a planning task are preserved under our tokenization.<\/jats:p>","DOI":"10.24963\/kr.2020\/36","type":"proceedings-article","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T00:39:16Z","timestamp":1597883956000},"page":"351-360","source":"Crossref","is-referenced-by-count":0,"title":["Token-based Execution Semantics for Multi-Agent Epistemic Planning"],"prefix":"10.24963","author":[{"given":"Thorsten","family":"Engesser","sequence":"first","affiliation":[{"name":"University of Freiburg"}]},{"given":"Robert","family":"Mattm\u00fcller","sequence":"additional","affiliation":[{"name":"University of Freiburg"}]},{"given":"Bernhard","family":"Nebel","sequence":"additional","affiliation":[{"name":"University of Freiburg"}]},{"given":"Felicitas","family":"Ritter","sequence":"additional","affiliation":[{"name":"University of Freiburg"}]}],"member":"10584","event":{"number":"17","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Association for Logic Programming","Center for Perspicuous Computing","European Association for Artificial Intelligence","Ontopic - The Virtual Knowledge Graph Company"],"acronym":"KR-2020","name":"17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}","start":{"date-parts":[[2020,9,12]]},"theme":"Artificial Intelligence","location":"Rhodes, Greece","end":{"date-parts":[[2020,9,18]]}},"container-title":["Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2020,11,5]],"date-time":"2020-11-05T16:18:37Z","timestamp":1604593117000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2020\/36"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2020,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2020\/36","relation":{},"subject":[],"published":{"date-parts":[[2020,7]]}}}