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 2021, 26, 734-742.