6. TIME 1999: Orlando, Florida, USA

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