Message from the General Chair

Message from the Program Co-Chairs (PDF)

pp. viii

Steering Committee and Symposium Officers (PDF)

pp. ix

Program Committee (PDF)

pp. x-xi

Organizing Committee and Additional Referees (PDF)

pp. xii

Invited Talks

Toward a Unifying View of Point and Interval Temporal Data Models (PDF)

Michael H. Böhlen, Free University of Bozen-Bolzano

pp. 3-4

Word Proximity Constraints: Information Retrieval Meets Temporal Reasoning (PDF)

Manolis Koubarakis, Technical University of Crete

pp. 5-6

Temporal Prepositions and Their Logic (PDF)

Ian Pratt-Hartmann, University of Manchester

pp. 7-8

The Many Ways of Facing Temporal Uncertainty in Planning and Scheduling (PDF)

Thierry Vidal, LGP/ENIT

pp. 9-10

Regular Papers

A Lattice of Classes of User-Defined Symbolic Periodicities (Abstract)

Lavinia Egidi, Università del Piemonte Orientale A. Avogadro

Paolo Terenziani, Università del Piemonte Orientale A. Avogadro

pp. 13-20

PDF

A Mathematical Framework for the Semantics of Symbolic Languages Representing Periodic Time (Abstract)

Lavinia Egidi, Università del Piemonte Orientale A. Avogadro

Paolo Terenziani, Università del Piemonte Orientale A. Avogadro

pp. 21-27

PDF

The SOL Time Theory: A Formalization of Structured Temporal Objects and Repetition (Abstract)

Diana R. Cukierman, Simon Fraser University

James P. Delgrande, Simon Fraser University

pp. 28-35

PDF

A Possibility Theory-based Approach for Handling of Uncertain Relations Between Temporal Points (Abstract)

Allel Hadjali, IRISA/ENSSAT

Didier Dubois, IRIT/CNRS

Henri Prade, IRIT/CNRS

pp. 36-43

PDF

Relations Between Fuzzy Time Intervals (Abstract)

Hans Jürgen Ohlbach, Universität München

pp. 44-51

PDF

Recursive Representation of Periodicity and Temporal Reasoning (Abstract)

Luca Anselma, Universit? di Torino

pp. 52-59

PDF

Short Papers

The Role of Labeled Partitionings for Modeling Periodic Temporal Notions (Abstract)

Hans Jürgen Ohlbach, Universität München

pp. 60-63

PDF

Probabilistic Temporal Interval Networks (Abstract)

Vladimir Ryabov, University of Jyv?skyl?

Andr? Trudel, Acadia University

pp. 64-67

PDF

Fuzzy Calendar Algebra and Its Applications to Data Mining (Abstract)

Wan-Jui Lee, National Sun Yat-Sen University

Shie-Jue Lee, National Sun Yat-Sen University

pp. 71-78

PDF

Reasoning on Temporal Conceptual Schemas with Dynamic Constraints (Abstract)

Alessandro Artale, Free Univeristy of Bozen-Bolzano

pp. 79-86

PDF

Pre-Processing Time Constraints for Efficiently Mining Generalized Sequential Patterns (Abstract)

Florent Masseglia, INRIA Sophia Antipolis

Pascal Poncelet, ?cole des Mines d?Al?

Maguelonne Teisseire, LIRMM UMR CNRS

pp. 87-95

PDF

Mapping Calendar Expressions into Periodical Granularities (Abstract)

Claudio Bettini, University of Milan

Sergio Mascetti, University of Milan

X. Sean Wang, University of Vermont

pp. 96-102

PDF

Max-Count Aggregation Estimation for Moving Points (Abstract)

Yi Chen, University of Nebraska-Lincoln

Peter Revesz, University of Nebraska-Lincoln

pp. 103-108

PDF

Effective Data Integration in the Presence of Temporal Semantic Conflicts (Abstract)

Hongwei Zhu, Massachusetts Institute of Technology

Stuart E. Madnick, Massachusetts Institute of Technology

Michael D. Siegel, Massachusetts Institute of Technology

pp. 109-114

PDF

CTL Model Checking for Processing Simple XPath Queries (Abstract)

Loredana Afanasiev, University of Amsterdam

Massimo Franceschet, University of Amsterdam and University "G. d?Annunzio" of Chieti-Pescara

Maarten Marx, University of Amsterdam

Maarten de Rijke, University of Amsterdam

pp. 117-124

PDF

Compositional Temporal Logic Based on Partial Order (Abstract)

Adrianna Alexander, Humboldt-Universit?t zu Berlin

Wolfgang Reisig, Humboldt-Universit?t zu Berlin

pp. 125-132

PDF

On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic (Abstract)

Laura Giordano, Università del Piemonte Orientale

Alberto Martelli, Università di Torino

pp. 133-139

PDF

A Clausal Resolution Method for Branching-Time Logic ECTL⁺ (Abstract)

Alexander Bolotov, University of Westminster

Artie Basukoski, University of Westminster

pp. 140-147

PDF

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols (Abstract)

Clare Dixon, University of Liverpool

Mari-Carmen Fernández Gago, University of Liverpool

Michael Fisher, University of Liverpool

Wiebe van der Hoek, University of Liverpool

pp. 148-151

PDF

Model Checking ?-Calculus in Well-Structured Transition Systems (Abstract)

E. V. Kouzmin, Yaroslavl State University

N. V. Shilov, Institute of Informatics Systems

V. A. Sokolov, Yaroslavl State University

pp. 152-155

PDF

Decidability of the Theory of the Totally Unbounded ⍵-Layered Structure (Abstract)

Angelo Montanari, Università di Udine

Gabriele Puppis, Università di Udine

pp. 156-160

PDF

Author Index

Author Index (PDF)

pp. 161