Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects | IEEE Conference Publication | IEEE Xplore