Fan, Y., Cai, M., Li, N. and Liu, Y. 2021. 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, 1 (Sep. 2021), 734-742. DOI:https://doi.org/10.1609/aaai.v26i1.8230.