| 1994 | A Proper Ontology for Reasoning about Knowledge and Planning. Leora Morgenstern |
| 1994 | A Temporal Structure that Distinguishes between the Past, Present, and Future. André Trudel |
| 1994 | An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events. Robert A. Morris, William D. Shoaff, Lina Khatib |
| 1994 | An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. Clemens Beckstein, Tim Geisler |
| 1994 | Automated Temporal Explanation with the Modal Logic Z. David Leasure |
| 1994 | Belief Revision in a Discrete Temporal Probability-Logic. Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel |
| 1994 | Believing Change and Changing Belief. Peter Haddawy |
| 1994 | Efficient Handling of Context Dependency in the Cached Event Calculus. Luca Chittaro, Angelo Montanari |
| 1994 | Event Tracking for an Intelligent Automated Agent. Milind Tambe, Paul S. Rosenbloom |
| 1994 | Extending Temporal Reasoning with Hierarchical Constraint. Fei Song |
| 1994 | Hypothetical Reasoning from Situation Calculus to Event Calculus. Alessandro Provetti |
| 1994 | Intervals, Points, and Branching Time. Alfred J. Reich |
| 1994 | Localized Temporal Reasoning: A State-Based Approach. Shieu-Hong Lin, Thomas Dean |
| 1994 | Managing Large Temporal Delays in a Model Based Control System. Fano Ramparany |
| 1994 | Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract). Thomas Dean |
| 1994 | On the Representation of Temporal Object Roles in Object Oriented Databases. Niki Pissinou, Kia Makki |
| 1994 | Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994 Scott D. Goodwin, Howard J. Hamilton |
| 1994 | Propagating Possibilistic Temporal Constraints. Rasiah Loganantharaj |
| 1994 | Temporal Bayesian Networks. Ahmed Y. Tawfik, Eric Neufeld |
| 1994 | The Expressive Power of the English Temporal Preposition System. Ian E. Pratt, David S. Brée |
| 1994 | The Persistence of Statistical Information. Scott D. Goodwin, Eric Neufeld, André Trudel |
| 1994 | The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains. Ehric Ho, André Trudel |
| 1994 | Using Constrained Resolution for Abductive Temporal Reasoning. Nicolas Chleq |