CSDL - Proceedings T

Conference Organization (PDF)

pp. viii

TIME Symposium Steering Committee (PDF)

pp. ix

External Referees (PDF)

pp. ix

Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics (PDF)

Invited Talks

Alfonso Gerevini, Universita degli Studi di Brescia, Italy

pp. 3-4

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)

A. Artale, Free University of Bozen-Bolzano, Italy

R. Kontchakov, Birkbeck College, UK

C. Lutz, Dresden University of Technology, Germany

F. Wolter, University of Liverpool, UK

M. Zakharyaschev, Birkbeck College, UK

pp. 11-22

PDF

Relational Temporal Machines (Abstract)

Nicole Bidoit, Univ. Paris-Sud, France

Francois Hantry, Rectorat de Paris, France

pp. 23-34

PDF

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

PDF

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

Alexander Bolotov, University of Westminster, UK

Oleg Grigoriev, Moscow State University, Russia

Vasilyi Shangin, Moscow State University, Russia

pp. 47-58

PDF

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

Yuchang Cheng, Nara Institute of Science and Technology, Japan

Masayuki Asahara, Nara Institute of Science and Technology, Japan

Yuji Matsumoto, Nara Institute of Science and Technology, Japan

pp. 59-69

PDF

Conceptual Modeling of Temporal Clinical Workflows (Abstract)

Carlo Combi, University of Verona, Italy

Matteo Gozzi, University of Verona, Italy

Jose M. Juarez, Universidad de Murcia, Spain

Barbara Oliboni, University of Verona, Italy

Giuseppe Pozzi, Politecnico of Milano, Italy

pp. 70-81

PDF

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

Ugo Dal Lago, Universita di Bologna, Italy

Angelo Montanari, Universita di Udine, Italy

Gabriele Puppis, Universita di Udine, Italy

pp. 82-93

PDF

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

Stephane Demri, LSV, ENS Cachan, CNRS, INRIA, France

Regis Gascon, LSV, ENS Cachan, CNRS, INRIA, France

pp. 94-104

PDF

Extended Time Constraints for Sequence Mining (Abstract)

Celine Fiot, LIRMM-Univ. Montpellier II, France

Anne Laurent, LIRMM-Univ. Montpellier II, France

Maguelonne Teisseire, LIRMM-Univ. Montpellier II, France

pp. 105-116

PDF

Automatic Analysis of Temporal Relations within a Discourse (Abstract)

Petr Nemec, Charles University, Czech Republic

pp. 117-128

PDF

Nikos Pelekis, Univ. of Piraeus, Greece

Ioannis Kopanakis, Tech. Educational Institute of Crete, Greece

Gerasimos Marketos, Univ. of Piraeus, Greece

Irene Ntoutsi, Univ. of Piraeus, Greece

Gennady Andrienko, Fraunhofer Institute, Germany

Yannis Theodoridis, Univ. of Piraeus, Greece

pp. 129-140

PDF

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

Jordi Poveda, Technical University of Catalonia, Spain

Mihai Surdeanu, Technical University of Catalonia, Spain

Jordi Turmo, Technical University of Catalonia, Spain

pp. 141-149

PDF

On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries (Abstract)

David Toman, University of Waterloo, Canada

pp. 150-162

PDF

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

PDF

Temporal Relations of Intervals with a Gap (Abstract)

Max J. Egenhofer, University of Maine, USA

pp. 169-174

PDF

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

M. Puchol-Blasco, Universidad de Alicante, Spain

E. Saquete, Universidad de Alicante, Spain

P. Martinez-Barco, Universidad de Alicante, Spain

pp. 175-180

PDF

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

Suman Roy, Honeywell Technology Solutions Lab, India

Guido Sciavicco, University of Murcia, Spain

pp. 181-188

PDF

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

Poster Papers

Sebastian Gottwald, University of Leipzig, Germany

Gerhard Heyer, University of Leipzig, Germany

Matthias Richter, University of Leipzig, Germany

Peter Walde, University of Leipzig, Germany

pp. 189

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

Yuechang Liu, Sun Yat-Sen University, China

Hong Qian, Sun Yat-Sen University, China

Yunfei Jiang, Sun Yat-Sen University, China

pp. 190

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

Vitor Nogueira, Universidade de Evora and CENTRIA, Portugal

Salvador Abreu, Universidade de Evora and CENTRIA, Portugal

pp. 191

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

Mani Swaminathan, University of Oldenburg, Germany

Martin Franzle, University of Oldenburg, Germany

pp. 192

Author Index

Author Index (PDF)

pp. 193