Planning with epistemic goals (Dagstuhl Seminar 14032)
Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2014
This report documents the outcomes of Dagstuhl Seminar 14032 "Planning with epistemic goals". It brought together the communities of so far relatively separate research areas related to artificial intelligence and logic: automated planning on the one hand, and dynamic logics of interaction on the other. Significant overlap in motivation, theory and methods was discovered, and a good potential for cross fertilization became apparent.