A geometric dynamic temporal reasoning method with tags | IEEE Conference Publication | IEEE Xplore