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), pp. 734-742. doi: 10.1609/aaai.v26i1.8230.