Abstract is missing.
- Visual Verification of Temporal PropertiesZohar Manna. 6 [doi]
- A System for Reasoning with Nonconvex IntervalsMichael J. Almeida. 8-16 [doi]
- Symbolic Representation of User-Defined Time GranularitiesClaudio Bettini, Roberto De Sibi. 17-28 [doi]
- A Constraint-Based Specification of Periodic Patterns in Time-Oriented DataShubha Chakravarty, Yuval Shahar. 29-40 [doi]
- A Geometric Framework for Specifying Spatiotemporal ObjectsJan Chomicki, Peter Z. Revesz. 41-46 [doi]
- TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining PlannerPatrick Doherty, Jonas Kvarnström. 47-54 [doi]
- A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event CalculusMassimo Franceschet, Angelo Montanari. 55-66 [doi]
- Generating Scenarios for Periodic Events with Binary ConstraintsLina Khatib, Robert A. Morris. 67-72 [doi]
- A Temporal Object-Oriented Data Model with Multiple GranularitiesIsabella Merlo, Elisa Bertino, Elena Ferrari, Giovanna Guerrini. 73-81 [doi]
- Optimization in Constraint Reasoning about Repeating EventsRobert A. Morris, Lina Khatib. 82-87 [doi]
- Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal DatabasesHan-Chieh Wei, Ramez Elmasri. 88-98 [doi]
- A Temporal Relational Algebra Based on Multiple Time-LinesMehmet A. Orgun. 100-105 [doi]