The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2000)
Nova Scotia, Canada
July 7, 2000 to July 9, 2000
ISSN: 1530-1311
ISBN: 0-7695-0756-5
Best Papers

Representing and Reasoning with Temporal Constraints in Multimedia Presentations (Abstract)

Sibel Adali , Rensselaer Polytechnic Institute
Luca Console , Universit? di Torino
Maria Luisa Sapino , Universit? di Torino
Massimo Schenone , Universit? di Torino
Paolo Terenziani , Universit? del Piemonte Orientale
pp. 3
Long Papers

Reasoning about Generalized Intervals: Horn Representability and Tractability (Abstract)

Philippe Balbiani , Laboratoire d'informatique de Paris-Nord
Jean-François Condotta , Institut de recherche en informatique de Toulouse
Gérard Ligozat , Laboratoire d'informatique pour la m?canique et les sciences de l'ing?nieur
pp. 23

Free Schedules for Free Agents in Workflow Systems (Abstract)

Claudio Bettini , Universit? di Milano
X. Sean Wang , George Mason University
Sushil Jajodia , George Mason University
pp. 31

Efficient Resolution Mechanism for Fuzzy Temporal Constraint Logic (Abstract)

M.A. Cárdenas , Universidad de Murcia
I. Navarrete , Universidad de Murcia
R. Marín , Universidad de Murcia
pp. 39

A Calculus of Macro-Events: Progress Report (Abstract)

Iliano Cervesato , ITT Industries, Inc.
Angelo Montanari , Universit? di Udine
pp. 47

Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge (Abstract)

Clare Dixon , Manchester Metropolitan University
Michael Fisher , Manchester Metropolitan University
pp. 69

Extending Topological Nexttime Logic (Abstract)

Bernhard Heinemann , FernUniversit?t Hagen
pp. 87

Towards a Theory of Movie Database Queries (Abstract)

Bart Kuijpers , University of Limburg
Jan Paredaens , University of Antwerp
Dirk Van Gucht , Indiana University
pp. 95

Querying Multiple Temporal Granularity Data (Abstract)

Isabella Merlo , Universit? di Genova
Giovanna Guerrini , Universit? di Genova
Elisa Bertino , Universit? degli Studi di Milano
Elena Ferrari , Universit? degli Studi di Milano
Shashi Gadia , Iowa State University
pp. 103

Behavior Discovery as Database Scheme Design (Abstract)

Takao Miura , Hosei University
Kohei Watanabe , Hosei University
Isamu Shioya , Sanno College
pp. 115

Navigating through Hierarchical Change Propagation in Spatiotemporal Queries (Abstract)

Giorgos Mountrakis , University of Maine
Peggy Agouris , University of Maine
Anthony Stefanidis , University of Maine
pp. 123

PMTV: A Schema Versioning Approach for Bi-Temporal Databases (Abstract)

Han-Chieh Wei , University of Texas at Arlington
Ramez Elmasri , University of Texas at Arlington
pp. 143
Short Papers

Estimating Positions and Paths of Moving Objects (Abstract)

Kate Beard , University of Maine
H. Mustafa Palancioglu , University of Maine
pp. 155

Resolution for Branching Time Temporal Logics: Applying the Temporal Resolution Rule (Abstract)

Alexander Bolotov , Manchester Metropolitan University
Clare Dixon , Manchester Metropolitan University
pp. 163

A Visualization of Medical Therapy Plans Compared to Gantt and PERT Charts (Abstract)

Robert Kosara , Vienna University of Technology
Silvia Miksch , Vienna University of Technology
pp. 173

Temporal Reasoning: A Three Way Analysis (Abstract)

Vineet Padmanabhan , Griffith University
Abdul Sattar , Griffith University
Arun K. Pujari , University of Hyderabad
Chinmoy Goswamy , University of Hyderabad
pp. 183

Is Point-Based Semantics Always Adequate for Temporal Databases? (Abstract)

Paolo Terenziani , Universit? del Piemonte Orientale ?Amedeo Avogadro?
pp. 191

Author Index (PDF)

pp. 201
84 ms
(Ver 3.3 (11022016))