Practical reasoning about knowledge states for open world planning with sensing

Tamara Babaian, James G. Schmolze. Practical reasoning about knowledge states for open world planning with sensing. Journal of Applied Non-Classical Logics, 19(1):7-41, 2009. [doi]

Abstract

Abstract is missing.