


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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














