2026-08-17T10:52:27Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4536 2024-03-06T10:26:08Z ddc:004 open_access

Planning with epistemic goals (Dagstuhl Seminar 14032) Agotnes, Thomas Lakemeyer, Gerhard Löwe, Benedikt Nebel, Bernhard planning epistemic logic modal logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Thomas Agotnes and Gerhard Lakemeyer and Benedikt Löwe and Bernhard Nebel 2014 Is Part Of Dagstuhl Reports, Volume 4, Issue 1 (2014) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.4.1.83 urn:nbn:de:0030-drops-45369 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83 eng https://creativecommons.org/licenses/by/3.0/legalcode