1. Home
  2. Proceedings
  3. TIME
  4. TIME 1999
Default Cover Image

Temporal Representation and Reasoning, International Syposium on

May 1 1999 to May 2 1999

Orlando, Florida

ISSN: 1530-1311

ISBN: 0-7695-0173-7

Table of Contents

Proceedings. Sixth International Workshop on Temporal Representation and Reasoning. TIME-99Freely available from IEEE.pp. 0_1-0_1
ForewordFreely available from IEEE.pp. vii
Conference OrganizationFreely available from IEEE.pp. viii
Invited Talks
Introducing Temporal Description LogicsFull-text access may be available. Sign in or learn about subscription options.pp. 2
by Alessandro Artale, Enrico Franconi
Invited Talks
Visual Verification of Temporal PropertiesFull-text access may be available. Sign in or learn about subscription options.pp. 6
by Zohar Manna
Full Papers
A System for Reasoning with Nonconvex IntervalsFull-text access may be available. Sign in or learn about subscription options.pp. 8
by Michael J. Almeida
Full Papers
Symbolic Representation of User-Defined Time GranularitiesFull-text access may be available. Sign in or learn about subscription options.pp. 17
by Claudio Bettini, Roberto de Sibi
Full Papers
A Constraint-Based Specification of Periodic Patterns in Time-Oriented DataFull-text access may be available. Sign in or learn about subscription options.pp. 29
by Shubha Chakravarty, Yuval Shahar
Full Papers
A Geometric Framework for Specifying Spatiotemporal ObjectsFull-text access may be available. Sign in or learn about subscription options.pp. 41
by Jan Chomicki, Peter Z. Revesz
Full Papers
TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining PlannerFull-text access may be available. Sign in or learn about subscription options.pp. 47
by Patrick Doherty, Jonas Kvarnström
Full Papers
A Graph-Theoretic Approach to Efficiently Reason about Partially Ordered Events in the Event CalculusFull-text access may be available. Sign in or learn about subscription options.pp. 55
by Massimo Franceschet, Angelo Montanari
Full Papers
Generating Scenarios for Periodic Events with Binary ConstraintsFull-text access may be available. Sign in or learn about subscription options.pp. 67
by Lina Khatib, Robert A. Morris
Full Papers
A Temporal Object-Oriented Data Model with Multiple GranularitiesFull-text access may be available. Sign in or learn about subscription options.pp. 73
by Isabella Merlo, Giovanna Guerrini, Elisa Bertino, Elena Ferrari
Full Papers
Optimization in Constraint Reasoning about Repeating EventsFull-text access may be available. Sign in or learn about subscription options.pp. 82
by Robert A. Morris, Lina Khatib
Full Papers
Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal DatabasesFull-text access may be available. Sign in or learn about subscription options.pp. 88
by Han-Chieh Wei, Ramez Elmasri
Short Paper
A Temporal Relational Algebra Based on Multiple Time-LinesFull-text access may be available. Sign in or learn about subscription options.pp. 100
by Mehmet A. Orgun
Short Paper
Author IndexFreely available from IEEE.pp. 106
Showing 17 out of 17