PP-2010-14: Planning based on dynamic epistemic logic

PP-2010-14: Löwe, Benedikt and Pacuit, Eric and Witzel, Andreas (2010) Planning based on dynamic epistemic logic. [Report]

[img]
Preview
Text (Full Text)
PP-2010-14.text.pdf

Download (260kB) | Preview
[img] Text (Abstract)
PP-2010-14.abstract.txt

Download (258B)

Abstract

We define the "DEL planning problem" and give a toy example of a planning algorithm based on DEL.

Item Type: Report
Report Nr: PP-2010-14
Series Name: Prepublication (PP) Series
Year: 2010
Uncontrolled Keywords: planning; dynamic epistemic logic; computer games
Subjects: Logic
Depositing User: Benedikt
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/393

Actions (login required)

View Item View Item