License: Creative Commons Attribution 3.0 Unported license (CC BY 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.7.6.1
URN: urn:nbn:de:0030-drops-82857
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2017/8285/
Go back to Dagstuhl Reports


Baral, Chitta ; Bolander, Thomas ; van Ditmarsch, Hans ; McIlrath, Sheila
Weitere Beteiligte (Hrsg. etc.): Chitta Baral and Thomas Bolander and Hans van Ditmarsch and Sheila McIlraith

Epistemic Planning (Dagstuhl Seminar 17231)

pdf-format:
dagrep_v007_i006_p001_17231.pdf (2 MB)


Abstract

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

BibTeX - Entry

@Article{baral_et_al:DR:2017:8285,
  author =	{Chitta Baral and Thomas Bolander and Hans van Ditmarsch and Sheila McIlrath},
  title =	{{Epistemic Planning (Dagstuhl Seminar 17231)}},
  pages =	{1--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{6},
  editor =	{Chitta Baral and Thomas Bolander and Hans van Ditmarsch and Sheila McIlraith},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/8285},
  URN =		{urn:nbn:de:0030-drops-82857},
  doi =		{10.4230/DagRep.7.6.1},
  annote =	{Keywords: Automated Planning, Knowledge Representation and Reasoning, Reasoning About Actions, Dynamic Epistemic Logic, Multi-Agent Systems}
}

Keywords: Automated Planning, Knowledge Representation and Reasoning, Reasoning About Actions, Dynamic Epistemic Logic, Multi-Agent Systems
Collection: Dagstuhl Reports, Volume 7, Issue 6
Issue Date: 2017
Date of publication: 19.12.2017


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI