The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (1999)
Orlando, Florida
May 1, 1999 to May 2, 1999
ISSN: 1530-1311
ISBN: 0-7695-0173-7
TABLE OF CONTENTS

Foreword (PDF)

pp. vii
Invited Talks

Introducing Temporal Description Logics (Abstract)

Enrico Franconi , University of Manchester
pp. 2

Visual Verification of Temporal Properties (Abstract)

Zohar Manna , Stanford University
pp. 6
Full Papers

A System for Reasoning with Nonconvex Intervals (Abstract)

Michael J. Almeida , University of Maryland Eastern Shore
pp. 8

Symbolic Representation of User-Defined Time Granularities (Abstract)

Claudio Bettini , University of Milan
Roberto de Sibi , University of Milan
pp. 17

A Geometric Framework for Specifying Spatiotemporal Objects (Abstract)

Peter Z. Revesz , University of Nebraska at Lincoln
Jan Chomicki , Monmouth University
pp. 41

Generating Scenarios for Periodic Events with Binary Constraints (Abstract)

Lina Khatib , Florida Institute of Technology
Robert A. Morris , Florida Institute of Technology
pp. 67

A Temporal Object-Oriented Data Model with Multiple Granularities (Abstract)

Elisa Bertino , Universita' degli Studi di Milano
Isabella Merlo , Universita' di Genova
Giovanna Guerrini , Universita' di Genova
Elena Ferrari , Universita' degli Studi di Milano
pp. 73

Optimization in Constraint Reasoning about Repeating Events (Abstract)

Lina Khatib , Florida Institute of Technology
Robert A. Morris , Florida Institute of Technology
pp. 82

Study and Comparison of Schema Versioning and Database Conversion Techniques for Bi-Temporal Databases (Abstract)

Ramez Elmasri , The University of Texas at Arlington
Han-Chieh Wei , The University of Texas at Arlington
pp. 88
Short Paper

Author Index (PDF)

pp. 106
83 ms
(Ver )