An Epistemic Logic for Planning with Trials

Rajdeep Niyogi, Ramaswamy Ramanujam. An Epistemic Logic for Planning with Trials. In Xiangdong He, John F. Horty, Eric Pacuit, editors, Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings. Volume 5834 of Lecture Notes in Computer Science, pages 238-250, Springer, 2009. [doi]

Abstract

Abstract is missing.