Approximate epistemic planning with postdiction as answer-set programming Eppe, Manfred Bhatt, Mehul Dylla, Frank 2013 - TUHH Open Research