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.4.1.83
URN: urn:nbn:de:0030-drops-45369
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2014/4536/
Go back to Dagstuhl Reports

Agotnes, Thomas ; Lakemeyer, Gerhard ; Löwe, Benedikt ; Nebel, Bernhard
Weitere Beteiligte (Hrsg. etc.): Thomas Agotnes and Gerhard Lakemeyer and Benedikt Löwe and Bernhard Nebel

Planning with epistemic goals (Dagstuhl Seminar 14032)

pdf-format:
dagrep_v004_i001_p083_s14032.pdf (0.8 MB)

Abstract

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.

BibTeX - Entry

@Article{agotnes_et_al:DR:2014:4536,
  author =	{Thomas Agotnes and Gerhard Lakemeyer and Benedikt L{\"o}we and Bernhard Nebel},
  title =	{{Planning with epistemic goals (Dagstuhl Seminar 14032)}},
  pages =	{83--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Thomas Agotnes and Gerhard Lakemeyer and Benedikt L{\"o}we and Bernhard Nebel},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4536},
  URN =		{urn:nbn:de:0030-drops-45369},
  doi =		{10.4230/DagRep.4.1.83},
  annote =	{Keywords: planning, epistemic logic, modal logic}
}

Keywords: planning, epistemic logic, modal logic
Collection: Dagstuhl Reports, Volume 4, Issue 1
Issue Date: 2014
Date of publication: 26.05.2014

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