Epistemic Planning: (Dagstuhl Seminar 17231)

• DOI: 10.4230/dagrep.7.6.1
• Publication Date: 2017-01-01
• Authors: Chitta Baral; Thomas Bolander; Hans van Ditmarsch; Sheila A. McIlraith
• Keywords: Representation

The seminar Epistemic Planning brought together the research communities of Dynamic Logic, Knowledge Representation and Reasoning, Automated to address fundamental problems on topic epistemic planning. In context this seminar, dynamic logic investigates formal semantics communication communicative actions, knowledge representation reasoning focuses theories action change, automated planning computational techniques tools generate plans. original goals were develop benchmarks for planning, explore relationship between belief in multi-agent models agency capability types their representations (these originally separate merged during seminar), finally identify practical resources. An additional goal explored workshop was correspondence games.