A Logic for Planning under Partial Observability.

Andreas Herzig Jérôme Lang Dominique Longin Thomas Polacsek A Logic for Planning under Partial Observability. 768-773 2000 conf/aaai/2000 AAAI/IAAI db/conf/aaai/aaai2000.html#HerzigLLP00