Universiteit van Amsterdam


Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

14 - 19 June 2020, ICAPS 2020 Workshop on Epistemic Planning (EpiP 2020), to be rescheduled

Date: 14 - 19 June 2020
Location: Nancy, France
Deadline: Monday 2 March 2020

Automated planning is of central concern in high-level symbolic AI research, with applications in logistics, robotics and service composition. In the simple case of an agent operating in a known world, the output of a planner is just a sequence of actions to be performed to the effect that it achieves a desired goal state. Epistemic planning is the enrichment of automated planning with epistemic notions, including knowledge and beliefs, which not only refer to incomplete knowledge, but also beliefs about this knowledge.

Epistemic planning has promising application potentials in all types of domains requiring artificial agents that have skills both in planning and in reasoning about knowledge and beliefs (of themselves and others). Such applications include domestic robots interacting with humans, non-player characters in video games, and autonomous robots interacting in a factory setting. It is a relatively recent area of research, and is inherently multi-disciplinary involving research from automated planning, epistemic logic, and knowledge representation & reasoning. In order 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.

Due to the Corona crisis this conference has been rescheduled for fall 2020.

 Submissions should be formatted in AAAI style and be no longer than 8 pages (excluding references). Submissions will be double blind. There will be no formal proceedings. Submissions sent to other conferences are allowed. It is the responsibility of the authors to ensure that those venues allow for papers submitted to be already published in "informal" ways.

Please note that this newsitem has been archived, and may contain outdated information or links.