TIME C

14 papers

YearTitle / Authors
19996th International Workshop on Temporal Representation and Reasoning, TIME '99, Orlando, Florida, USA, May 1-2, 1999
1999A Constraint-Based Specification of Periodic Patterns in Time-Oriented Data.
Shubha Chakravarty, Yuval Shahar
1999A Geometric Framework for Specifying Spatiotemporal Objects.
Jan Chomicki, Peter Z. Revesz
1999A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event Calculus.
Massimo Franceschet, Angelo Montanari
1999A System for Reasoning with Nonconvex Intervals.
Michael J. Almeida
1999A Temporal Object-Oriented Data Model with Multiple Granularities.
Isabella Merlo, Elisa Bertino, Elena Ferrari, Giovanna Guerrini
1999A Temporal Relational Algebra Based on Multiple Time-Lines.
Mehmet A. Orgun
1999Generating Scenarios for Periodic Events with Binary Constraints.
Lina Khatib, Robert A. Morris
1999Introducing Temporal Description Logics.
Alessandro Artale, Enrico Franconi
1999Optimization in Constraint Reasoning about Repeating Events.
Robert A. Morris, Lina Khatib
1999Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases.
Han-Chieh Wei, Ramez Elmasri
1999Symbolic Representation of User-Defined Time Granularities.
Claudio Bettini, Roberto De Sibi
1999TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.
Patrick Doherty, Jonas Kvarnström
1999Visual Verification of Temporal Properties.
Zohar Manna