V. Belle and H. Levesque, “PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains”, AAAI, vol. 28, no. 1, Jun. 2014.