{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T01:56:14Z","timestamp":1772243774712,"version":"3.50.1"},"reference-count":0,"publisher":"IOS Press","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"abstract":"<jats:p>A realistic model of multi-agent planning must allow us to formalize notions which are absent in classical planning, such as communication and knowledge. We investigate multi-agent planning based on a simple logic of knowledge that is grounded on the visibility of propositional variables. Using such a formal logic allows us to prove the existence of a plan given the description of the individual actions. We present an encoding of multi-agent planning problems expressed in this logic into the standard planning language PDDL. The solvability of a planning task is reduced to a model checking problem in a dynamic extension of our logic, proving its complexity. Feeding the resulting problem into a PDDL planner provides a provably correct plan for the original multi-agent planning problem. We apply our method on several examples such as the gossip problem.<\/jats:p>","DOI":"10.3233\/978-1-61499-672-9-193","type":"book-chapter","created":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T06:58:24Z","timestamp":1740380304000},"source":"Crossref","is-referenced-by-count":1,"title":["A Simple Account of Multi-Agent Epistemic Planning"],"prefix":"10.3233","author":[{"family":"Cooper Martin C.","sequence":"additional","affiliation":[]},{"family":"Herzig Andreas","sequence":"additional","affiliation":[]},{"family":"Maffre Faustine","sequence":"additional","affiliation":[]},{"family":"Maris Fr&eacute;d&eacute;ric","sequence":"additional","affiliation":[]},{"family":"R&eacute;gnier Pierre","sequence":"additional","affiliation":[]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","ECAI 2016"],"original-title":[],"deposited":{"date-parts":[[2025,2,24]],"date-time":"2025-02-24T07:17:28Z","timestamp":1740381448000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.medra.org\/servlet\/aliasResolver?alias=iospressISBN&isbn=978-1-61499-671-2&spage=193&doi=10.3233\/978-1-61499-672-9-193"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/978-1-61499-672-9-193","relation":{"is-cited-by":[{"id-type":"doi","id":"10.1007\/978-3-030-14174-5_1","asserted-by":"object"},{"id-type":"doi","id":"10.4204\/EPTCS.325.11","asserted-by":"object"}]},"ISSN":["0922-6389"],"issn-type":[{"value":"0922-6389","type":"print"}],"subject":[],"published":{"date-parts":[[2016]]}}}