default search action
6th TIME 1999: Orlando, Florida, USA
- 6th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999. IEEE Computer Society 1999, ISBN 0-7695-0173-7
Invited Talks
- Alessandro Artale, Enrico Franconi:
Introducing Temporal Description Logics. 2-5 - Zohar Manna:
Visual Verification of Temporal Properties. 6
Full Papers
- Michael J. Almeida:
A System for Reasoning with Nonconvex Intervals. 8-16 - Claudio Bettini, Roberto De Sibi:
Symbolic Representation of User-Defined Time Granularities. 17-28 - Shubha Chakravarty, Yuval Shahar:
A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data. 29-40 - Jan Chomicki, Peter Z. Revesz:
A Geometric Framework for Specifying Spatiotemporal Objects. 41-46 - Patrick Doherty, Jonas Kvarnström:
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner. 47-54 - Massimo Franceschet, Angelo Montanari:
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus. 55-66 - Lina Khatib, Robert A. Morris:
Generating Scenarios for Periodic Events with Binary Constraints. 67-72 - Isabella Merlo, Elisa Bertino, Elena Ferrari, Giovanna Guerrini:
A Temporal Object-Oriented Data Model with Multiple Granularities. 73-81 - Robert A. Morris, Lina Khatib:
Optimization in Constraint Reasoning about Repeating Events. 82-87 - Han-Chieh Wei, Ramez Elmasri:
Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases. 88-98
Short Paper
- Mehmet A. Orgun:
A Temporal Relational Algebra Based on Multiple Time-Lines. 100-105
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.