Fan, Y., Cai, M., Li, N., & 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), 734-742. https://doi.org/10.1609/aaai.v26i1.8230