Fan, Yi, Minghui Cai, Naiqi Li, and Yongmei Liu. “A First-Order Interpreter for Knowledge-Based Golog With Sensing Based on Exact Progression and Limited Reasoning”. Proceedings of the AAAI Conference on Artificial Intelligence 26, no. 1 (September 20, 2021): 734-742. Accessed May 7, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/8230.