Automated planning is of central concern in high-level symb olic AI research, with applications in logistics, robotics and service composition. In the simple ca se of an agent operating in a known world, the out put of a planner is just a sequence of actions to be performed to the effect that it achieves a desi red goal state. Epistemic planning is the enrichme nt of automated planning with epistemic notions, i ncluding knowledge and beliefs, which not only ref er to incomplete knowledge, but also beliefs about this knowledge.
\n\nEpistemic planning ha s promising application potentials in all types of domains requiring artificial agents that have ski lls both in planning and in reasoning about knowle dge and beliefs (of themselves and others). Such a pplications include domestic robots interacting wi th humans, non-player characters in video games, a nd autonomous robots interacting in a factory sett ing. It is a relatively recent area of research, a nd is inherently multi-disciplinary involving rese arch from automated planning, epistemic logic, and knowledge representation & reasoning. In orde r to achieve formalisms and systems for epistemic planning that are both expressive and practically efficient, it is necessary to combine the state of the art from all three areas.
\n\nDue to the Corona crisis this conference has been resched uled for fall 2020.
\nS ubmissions should be formatted in AAAI style and b e no longer than 8 pages (excluding references). S ubmissions will be double blind. There will be no formal proceedings. Submissions sent to other conf erences are allowed. It is the responsibility of t he authors to ensure that those venues allow for p apers submitted to be already published in "i nformal" ways.
\n