Kominis, Filippos
(Universitat Pompeu Fabra, 2017-12-05)
Classical planning is the problem of finding a sequence of actions that achieve a desired
goal from an initial state, assuming deterministic actions. Dynamic epistemic logic
(DEL) on the other hand, provides formal frameworks ...