A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning. - Fan, Yi; Cai, Minghui; Li, Naiqi; Liu, Yongmei (2012)