Adding temporal reasoning to expert-system-building environments | IEEE Journals & Magazine | IEEE Xplore