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]

Preview	Text (Full Text) PP-2010-14.text.pdf Download (260kB) \| Preview
	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

View Item