| 1997 | Modal Event Calculi with Preconditions. | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
| 1997 | An Efficient Algorithm for Temporal Abduction. | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupr |
| 1997 | Temporal Reasoning with Fuzzy Time-Objects. | Ernst G. P. Bovenkamp, Jan C. A. van der Lubbe |
| 1997 | A Resolution Method For CTL Branching-Time Temporal Logic. | Alexander Bolotov, Michael Fisher |
| 1997 | Practical Temporal Reasoning for Real Scheduling Applications. | Mark S. Boddy |
| 1997 | Enhancements to the Ground Processing Scheduling System. | Juan Jose Blanco, Lina Khatib |
| 1997 | Representation of Continuous Change with Discrete Time. | Fernando Barber, Salvador Moreno |
| 1996 | Reasoning about Concurrent Actions within Features and Fluents. | Choong-Ho Yi |
| 1996 | Reasoning with Sequences of Point Events. | Rattana Wetprasit, Abdul Sattar, Lina Khatib |
| 1996 | A Theory of Time and Temporal Incidence Based on Instants and Periods. | Llus Vila, Eddie Schwalb |
| 1996 | A topological transition based logic for the qualitative motion of objects. | Andr Trudel, Denis Gagn |
| 1996 | Irrelevance in Uncertain Temporal Reasoning. | Ahmed Y. Tawfik, Eric Neufeld |
| 1996 | Dynamic Temporal Interpretation Contexts for Temporal Abstraction. | Yuval Shahar |
| 1996 | Logic Programming with Temporal Constraints. | Eddie Schwalb, Llus Vila |
| 1996 | Processing Disjunctions of Temporal Constraints. | Eddie Schwalb, Rina Dechter |
| 1996 | Time Accountability for Lattice Computers. | Mario R. Snchez, Anil M. Shende |
| 1996 | A recursive temporal algebra and temporal completeness. | Mehmet A. Orgun |
| 1996 | Representing Interaction of Agents at Different Time Granularities. | Edjard Mota, David Stuart Robertson |
| 1996 | Time in a Causal Theory. | Acha Mokhtari, Daniel Kayser |
| 1996 | An Integrity Constraint Checking Method for Temporal Deductive Databases. | Carme Martn, Jaume Sistac |
| 1996 | Temporal Representation for Multimedia Systems. | Minglu Li, Yongqiang Sun, Huanye Sheng |
| 1996 | Temporal Reasoning in a Meta Constraint Logic Programming Architecture. | Evelina Lamma, Paola Mello, Michela Milano |
| 1996 | Engineering time in medical knowledge-based systems through time-axes and time-objects. | Elpida T. Keravnou |
| 1996 | A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. | Klaus P. Jantke, Oksana Arnold |
| 1996 | Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution. | Amar Isli, Hachemi Bennaceur |