A new proposal of temporal production system for temporal knowledge representation and reasoning | IEEE Conference Publication | IEEE Xplore