Sciweavers

AAAI
2000
15 years 10 days ago
A Logic for Planning under Partial Observability
We propose an epistemic dynamic logic EDL able to represent the interactions between action and knowledge that are fundamental to planning under partial observability. EDL enables...
Andreas Herzig, Jérôme Lang, Dominiqu...