Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Agotnes, Thomas; Lakemeyer, Gerhard; Lwe, Benedikt; Nebel, Bernhard http://www.dagstuhl.de/dagrep License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-45369
URL:

; ; ;
Weitere Beteiligte (Hrsg. etc.): Thomas Agotnes and Gerhard Lakemeyer and Benedikt Lwe and Bernhard Nebel

Planning with epistemic goals (Dagstuhl Seminar 14032)

pdf-format:


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
Seminar: Dagstuhl Reports, Volume 4, Issue 1
Issue date: 2014
Date of publication: 2014


DROPS-Home | Fulltext Search | Imprint Published by LZI