Fan Y, Cai M, Li N, Liu Y. A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. AAAI [Internet]. 2021Sep.20 [cited 2024May7];26(1):734-42. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/8230