Temporal reasoning in a meta constraint logic programming architecture | IEEE Conference Publication | IEEE Xplore