A First-Order Interpreter for Knowledge-Based Golog with Sensing based on Exact Progression and Limited Reasoning.

Yi Fan, Minghui Cai, Naiqi Li, Yongmei Liu

Browse the full AAAI paper archive.