Temporal Reasoning in REAKT: An Environment for Real-Time Knowledge-Based Systems | Publicación