Sciweavers

IJCAI
2003
13 years 5 months ago
Action representation and partially observable planning using epistemic logic
We propose a purely logical framework for planning in partially observable environments. Knowledge states are expressed in a suitable fragment of the epistemic logic S5. We show h...
Andreas Herzig, Jérôme Lang, Pierre M...