The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2006)
Budapest, Hungary
June 15, 2006 to June 17, 2006
ISSN: 1530-1311
ISBN: 0-7695-2617-9
TABLE OF CONTENTS
Papers
Session 1: Temporal Logic

Representing trends and trend dependencies with multiple granularities (Abstract)

Carlo Combi , Universita degli Studi di Verona
Rosalba Rossato , Universita degli Studi di Verona
pp. 3-10

Is There a Future for Deductive Temporal Verification? (Abstract)

Boris Konev , University of Liverpool, UK
Michael Fisher , University of Liverpool, UK
Clare Dixon , University of Liverpool, UK
pp. 11-18

Automated Verification of Continuous Time Systems by Discrete Temporal Induction (Abstract)

Angelo Morzenti , Politecnico di Milano, Italy
Angelo Gargantini , Universit? di Bergamo, Italy
pp. 19-26

CTL Model Checking for Labelled Tree Queries (Abstract)

Omar Cherkaoui , Universite du Quebec a Montreal, Canada
Sylvain Halle , Universite du Quebec a Montreal, Canada
Roger Villemaire , Universite du Quebec a Montreal, Canada
pp. 27-35

A Decidable Temporal Logic for Events and States (Abstract)

Savas Konur , University of Manchester, UK
pp. 36-41

In time alone: on the computational power of querying the history (Abstract)

Alexei Lisitsa , University of Liverpool, UK
Igor Potapov , University of Liverpool, UK
pp. 42-49
Session 2: Time in Artificial Intelligence

Task Scheduling for a TemporalWorkflow Management System (Abstract)

Giuseppe Pozzi , Universita degli Studi di Verona, Spain
Carlo Combi , Universita degli Studi di Verona, Spain
pp. 61-68

Ultimately Periodic Simple Temporal Problems (UPSTPs) (Abstract)

Mahmoud Saade , CRIL-CNRS, Universite d?Artois, Rue de l?Universite, 62307 Lens, France
Stavros Tripakis , VERIMAG, Centre Equation, 2, avenue de Vignate, 38610 Gieres, France
Jean-Francois Condotta , CRIL-CNRS, Universite d?Artois, Rue de l?Universite, 62307 Lens, France
Gerard Ligozat , LIMSI-CNRS, Universite de Paris-Sud, 91403 Orsay, France
pp. 69-77

A Generic Toolkit for n-ary Qualitative Temporal and Spatial Calculi (Abstract)

Jean-Francois Condotta , CRIL-CNRS, Universite d?Artois, 62307 Lens Cedex, France
Mahmoud Saade , CRIL-CNRS, Universite d?Artois, 62307 Lens Cedex, France
Gerard Ligozat , LIMSI-CNRS, Universite d?Orsay, 91403 Orsay, France
pp. 78-86

An automaton-based approach to the verification of timed workflow schemas (Abstract)

Elisabetta De Maria , University of Udine, Italy
Angelo Montanari , University of Udine, Italy
Marco Zantoni , University of Udine, Italy
pp. 87-94

Conditional and Composite Temporal Constraints with Preferences (Abstract)

Malek Mouhoub , University of Regina, Canada
Amrudee Sukpan , University of Regina, Canada
pp. 95-102

Measuring, monitoring and controlling software maintenance efforts (Abstract)

Markus Zanker , University Klagenfurt, Austria
Sergiu Gordea , University Klagenfurt, Austria
pp. 103-110

Efficient Heuristics for Solving Probabilistic Interval Algebra Networks (Abstract)

Andr? Trudel , Acadia University, Canada
Kai Zhang , Acadia University, Canada
pp. 111-120
Session 3: Time in Databases

How Would You Like to Aggregate Your Temporal Data? (Abstract)

Christian S. Jensen , Aalborg University, Denmark
Michael H. Bohlen , Free University of Bozen-Bolzano, Italy
Johann Gamper , Free University of Bozen-Bolzano, Italy
pp. 121-136

Aggregation Estimation for 2D Moving Points (Abstract)

Scot Anderson , University of Nebraska
pp. 137-144

Adaptive Interpolation Algorithms for Temporal-Oriented Datasets (Abstract)

Jun Gao , University of Nebraska-Lincoln
pp. 145-151

Extracting Uncertain Temporal Relations from Mined Frequent Sequences (Abstract)

Francisco Guil , Universidad de Almerya, Spain
Roque Marin , Universidad de Murcia, Spain
pp. 152-159

Formal Verification of an Optimistic Concurrency Control Algorithm using SPIN (Abstract)

Faiez Gargouri , Multim?dia de Sfax, Tunisia
Rafik Bouaziz , Economiques et de Gestion de Sfax, Tunisia
Achraf Makni , Economiques et de Gestion de Sfax, Tunisia
pp. 160-167

A Spatiotemporal Database for Ozone in the Conterminous U.S. (Abstract)

Reinhard Piltner , Georgia Southern University
Xingyou Zhang , Georgia Southern University
Lixin Li , Georgia Southern University
pp. 168-176

k-Anonymity in Databases with Timestamped Data (Abstract)

Sergio Mascetti , University of Milan, Italy
X. Sean Wang , University of Vermont, VT
Sushil Jajodia , George Mason University, VA
Claudio Bettini , University of Milan, Italy
pp. 177-186
Session 4: Time in Natural Language

Processes as Continuants (Abstract) (PDF)

Antony Galton , University of Exeter, UK
pp. 187

Task-Oriented Extraction of Temporal Information: The Case of Clinical Narratives (Abstract)

Mark Hepple , University of Sheffield, UK
Henk Harkema , University of Sheffield, UK
Rob Gaizauskas , University of Sheffield, UK
Andrea Setzer , University of Sheffield, UK
pp. 188-195

From Language to Time: A Temporal Expression Anchorer (Abstract)

Lori Levin , Carnegie Mellon University
Benjamin Han , Carnegie Mellon University
Donna Gates , Carnegie Mellon University
pp. 196-203

DyST: Dynamic and Scalable Temporal Text Indexing (Abstract)

Albert Overskeid N Nybo , Norwegian University of Science and Technology, Norway
Kjetil Norvag , Norwegian University of Science and Technology, Norway
pp. 204-211

Temporal Arithmetic Mixing Months and Days (Abstract)

Feng Pan , University of Southern California
Jerry R. Hobbs , University of Southern California
pp. 212-217

Automatic resolution rule assignment to multilingual Temporal Expressions using annotated corpora (Abstract)

E. Saquete , DLSI. UA, Alicante, Spain
R. Sprugnoli , CELCT, Trento, Italy
R. Munoz , DLSI. UA, Alicante, Spain
M. Negri , ITC-irst, Povo (TN), Italy
P. Martinez-Barco , DLSI. UA, Alicante, Spain
M. Speranza , ITC-irst, Povo (TN), Italy
pp. 218-224
Author Index

Author Index (PDF)

pp. 225
101 ms
(Ver )