| 1996 | A General Framework and Reasoning Model for Time Granularity. Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia |
| 1996 | A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. Klaus P. Jantke, Oksana Arnold |
| 1996 | A Theory of Time and Temporal Incidence Based on Instants and Periods. Lluís Vila, Eddie Schwalb |
| 1996 | A recursive temporal algebra and temporal completeness. Mehmet A. Orgun |
| 1996 | A topological transition based logic for the qualitative motion of objects. André Trudel, Denis Gagné |
| 1996 | An Integrity Constraint Checking Method for Temporal Deductive Databases. Carme Martín, Jaume Sistac |
| 1996 | Case-based reasoning with temporal data. Isabelle Bichindaritz, E. Conlon |
| 1996 | Characterizing Temporal Repetition. Diana Cukierman, James P. Delgrande |
| 1996 | Combining Simultaneous Values and Temporal Data Dependencies. Avigdor Gal, Dov Dori |
| 1996 | Dynamic Temporal Interpretation Contexts for Temporal Abstraction. Yuval Shahar |
| 1996 | Engineering time in medical knowledge-based systems through time-axes and time-objects. Elpida T. Keravnou |
| 1996 | First Order Modal Logics with Generalized Intervals. Gérard Becher |
| 1996 | Gaining Efficiency and Flexibility in the Simple Temporal Problem. Amedeo Cesta, Angelo Oddi |
| 1996 | Guiding and refining simulation using temporal logic. Giorgio Brajnik, Daniel J. Clancy |
| 1996 | Handling Temporal Relations in Scheduling Dialogues for an MT System. Rocio Guillén, David Farwell, Janyce Wiebe |
| 1996 | Hybrid Temporal Reasoning for Planning and Scheduling. Silvana Badaloni, Marina Berati |
| 1996 | Irrelevance in Uncertain Temporal Reasoning. Ahmed Y. Tawfik, Eric Neufeld |
| 1996 | Logic Programming with Temporal Constraints. Eddie Schwalb, Lluís Vila |
| 1996 | Managing Time Granularity of Narrative Clinical Information: The Temporal Data Model TIME-NESIS. Carlo Combi, Francesco Pinciroli, Giuseppe Pozzi |
| 1996 | Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution. Amar Isli, Hachemi Bennaceur |
| 1996 | Nonmonotonic Reasoning on a Constructive Time Structure. Akira Fusaoka |
| 1996 | Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996 Luca Chittaro, Scott D. Goodwin, Howard J. Hamilton, Angelo Montanari |
| 1996 | Processing Disjunctions of Temporal Constraints. Eddie Schwalb, Rina Dechter |
| 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 | Remodeling Temporal Geometry. J. van Benthen |
| 1996 | Representing Interaction of Agents at Different Time Granularities. Edjard Mota, David Stuart Robertson |
| 1996 | Temporal Reasoning in a Meta Constraint Logic Programming Architecture. Evelina Lamma, Paola Mello, Michela Milano |
| 1996 | Temporal Representation for Multimedia Systems. Minglu Li, Yongqiang Sun, Huanye Sheng |
| 1996 | Temporal Resolution: A Breadth-First Search Approach. Clare Dixon |
| 1996 | Time Accountability for Lattice Computers. Mario R. Sánchez, Anil M. Shende |
| 1996 | Time in a Causal Theory. Aïcha Mokhtari, Daniel Kayser |
| 1996 | Using Temporal Logics for Planning and Control. Fahiem Bacchus |