138
click to vote
IJCAI
2003
15 years 4 months ago
2003
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...