Y. Fan, M. Cai, N. Li, and Y. Liu, “A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning”, AAAI, vol. 26, no. 1, pp. 734-742, Sep. 2021.