Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects. - Chun-Yan Han; Yixian Liu; Ji-Peng Liu; Zhiliang Liu; Dancheng Li; Zhiliang Zhu 001; Jingde Cheng (ICMLC, 2010)