Abstract is missing.
- Reasoning about Concurrent Actions within Features and FluentsChoong-Ho Yi. 6-13
- Time in a Causal TheoryAïcha Mokhtari, Daniel Kayser. 14-20
- A Theory of Time and Temporal Incidence Based on Instants and PeriodsLluís Vila, Eddie Schwalb. 21-28
- Processing Disjunctions of Temporal ConstraintsEddie Schwalb, Rina Dechter. 30-35
- Reasoning with Sequences of Point EventsRattana Wetprasit, Abdul Sattar, Lina Khatib. 36-38
- Hybrid Temporal Reasoning for Planning and SchedulingSilvana Badaloni, Marina Berati. 39-44
- Logic Programming with Temporal ConstraintsEddie Schwalb, Lluís Vila. 51-56
- Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a SolutionAmar Isli, Hachemi Bennaceur. 57-62
- Dynamic Temporal Interpretation Contexts for Temporal AbstractionYuval Shahar. 64-71
- Representing Interaction of Agents at Different Time GranularitiesEdjard Mota, David Stuart Robertson. 72-79
- A recursive temporal algebra and temporal completenessMehmet A. Orgun. 96-103
- A General Framework and Reasoning Model for Time GranularityClaudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia. 104-111
- Combining Simultaneous Values and Temporal Data DependenciesAvigdor Gal, Dov Dori. 112-119
- Temporal Resolution: A Breadth-First Search ApproachClare Dixon. 120-127
- Temporal Reasoning in a Meta Constraint Logic Programming ArchitectureEvelina Lamma, Paola Mello, Michela Milano. 128-135
- An Integrity Constraint Checking Method for Temporal Deductive DatabasesCarme Martín, Jaume Sistac. 136-141
- Guiding and refining simulation using temporal logicGiorgio Brajnik, Daniel J. Clancy. 144-151
- Case-based reasoning with temporal dataIsabelle Bichindaritz, E. Conlon. 152-159
- Engineering time in medical knowledge-based systems through time-axes and time-objectsElpida T. Keravnou. 160-167
- First Order Modal Logics with Generalized IntervalsGérard Becher. 170-175
- A topological transition based logic for the qualitative motion of objectsAndré Trudel, Denis Gagné. 176-181
- A Modal Temporal Logic and its Models Underlying Variants of Planning AlgorithmsKlaus P. Jantke, Oksana Arnold. 182-187
- Irrelevance in Uncertain Temporal ReasoningAhmed Y. Tawfik, Eric Neufeld. 196-202
- Temporal Representation for Multimedia SystemsMinglu Li, Yongqiang Sun, Huanye Sheng. 204-210
- Time Accountability for Lattice ComputersMario R. Sanchez, Anil M. Shende. 211-216
- Handling Temporal Relations in Scheduling Dialogues for an MT SystemRocio Guillén, David Farwell, Janyce Wiebe. 217