The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2007)
Alicante, Spain
June 28, 2007 to June 30, 2007
ISSN: 1530-1311
ISBN: 0-7695-2836-8
TABLE OF CONTENTS
Introduction
Invited Talks

Model Checking Branching Time Logics (PDF)

Ph. Schnoebelen , LSV, ENS Cachan & CNRS, France
pp. 5

Towards a Science of Temporal Databases (PDF)

Richard T. Snodgrass , University of Arizona, USA
pp. 6-7
Regular Papers

Temporalising Tractable Description Logics (Abstract)

M. Zakharyaschev , Birkbeck College, UK
R. Kontchakov , Birkbeck College, UK
C. Lutz , Dresden University of Technology, Germany
A. Artale , Free University of Bozen-Bolzano, Italy
F. Wolter , University of Liverpool, UK
pp. 11-22

Relational Temporal Machines (Abstract)

Nicole Bidoit , Univ. Paris-Sud, France
Francois Hantry , Rectorat de Paris, France
pp. 23-34

SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language (Abstract)

Nicole Bidoit , Univ. Paris-Sud, France
Matthieu Objois , Univ. Paris-Sud, France
pp. 35-46

Automated Natural Deduction for Propositional Linear-Time Temporal Logic (Abstract)

Vasilyi Shangin , Moscow State University, Russia
Oleg Grigoriev , Moscow State University, Russia
Alexander Bolotov , University of Westminster, UK
pp. 47-58

Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis (Abstract)

Yuji Matsumoto , Nara Institute of Science and Technology, Japan
Masayuki Asahara , Nara Institute of Science and Technology, Japan
Yuchang Cheng , Nara Institute of Science and Technology, Japan
pp. 59-69

Conceptual Modeling of Temporal Clinical Workflows (Abstract)

Barbara Oliboni , University of Verona, Italy
Giuseppe Pozzi , Politecnico of Milano, Italy
Jose M. Juarez , Universidad de Murcia, Spain
Matteo Gozzi , University of Verona, Italy
Carlo Combi , University of Verona, Italy
pp. 70-81

On the Equivalence of Automaton-Based Representations of Time Granularities (Abstract)

Gabriele Puppis , Universita di Udine, Italy
Ugo Dal Lago , Universita di Bologna, Italy
Angelo Montanari , Universita di Udine, Italy
pp. 82-93

The Effects of Bounding Syntactic Resources on Presburger LTL (Abstract)

Regis Gascon , LSV, ENS Cachan, CNRS, INRIA, France
Stephane Demri , LSV, ENS Cachan, CNRS, INRIA, France
pp. 94-104

Extended Time Constraints for Sequence Mining (Abstract)

Celine Fiot , LIRMM-Univ. Montpellier II, France
Maguelonne Teisseire , LIRMM-Univ. Montpellier II, France
Anne Laurent , LIRMM-Univ. Montpellier II, France
pp. 105-116

Automatic Analysis of Temporal Relations within a Discourse (Abstract)

Petr Nemec , Charles University, Czech Republic
pp. 117-128

Similarity Search in Trajectory Databases (Abstract)

Gerasimos Marketos , Univ. of Piraeus, Greece
Ioannis Kopanakis , Tech. Educational Institute of Crete, Greece
Yannis Theodoridis , Univ. of Piraeus, Greece
Nikos Pelekis , Univ. of Piraeus, Greece
Gennady Andrienko , Fraunhofer Institute, Germany
Irene Ntoutsi , Univ. of Piraeus, Greece
pp. 129-140

A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English (Abstract)

Mihai Surdeanu , Technical University of Catalonia, Spain
Jordi Turmo , Technical University of Catalonia, Spain
Jordi Poveda , Technical University of Catalonia, Spain
pp. 141-149
Short Papers

Bi-Intervals for Backtracking on Temporal Constraint Networks (Abstract)

Jean-Francois Baget , INRIA Rhone-Alpes and LIG, France
Sebastien Laborie , INRIA Rhone-Alpes and LIG, France
pp. 163-168

Temporal Relations of Intervals with a Gap (Abstract)

Max J. Egenhofer , University of Maine, USA
pp. 169-174

Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora (Abstract)

E. Saquete , Universidad de Alicante, Spain
P. Martinez-Barco , Universidad de Alicante, Spain
M. Puchol-Blasco , Universidad de Alicante, Spain
pp. 175-180

Reasoning with 'And Then' and 'While' (Abstract)

Suman Roy , Honeywell Technology Solutions Lab, India
Guido Sciavicco , University of Murcia, Spain
pp. 181-188
Poster Papers

WCTAnalyze--Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources (PDF)

Sebastian Gottwald , University of Leipzig, Germany
Peter Walde , University of Leipzig, Germany
Matthias Richter , University of Leipzig, Germany
Gerhard Heyer , University of Leipzig, Germany
pp. 189

Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems (PDF)

Hong Qian , Sun Yat-Sen University, China
Yuechang Liu , Sun Yat-Sen University, China
Yunfei Jiang , Sun Yat-Sen University, China
pp. 190

Modularity and Temporal Reasoning: A Logic Programming Approach (PDF)

Salvador Abreu , Universidade de Evora and CENTRIA, Portugal
Vitor Nogueira , Universidade de Evora and CENTRIA, Portugal
pp. 191

A Symbolic Decision Procedure for Robust Safety of Timed Systems (PDF)

Martin Franzle , University of Oldenburg, Germany
Mani Swaminathan , University of Oldenburg, Germany
pp. 192
Author Index

Author Index (PDF)

pp. 193
290 ms
(Ver 3.3 (11022016))