(1)
Belle, V.; Levesque, H. PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. AAAI 2014, 28.