The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2004)
Tatihou, Normandie, France
July 1, 2004 to July 3, 2004
ISSN: 1530-1311
ISBN: 0-7695-2155-X
TABLE OF CONTENTS
Introduction

Program Committee (PDF)

pp. x-xi
Invited Talks

Temporal Prepositions and Their Logic (PDF)

Ian Pratt-Hartmann , University of Manchester
pp. 7-8
Regular Papers

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

Paolo Terenziani , Università del Piemonte Orientale A. Avogadro
Lavinia Egidi , Università del Piemonte Orientale A. Avogadro
pp. 13-20

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

Relations Between Fuzzy Time Intervals (Abstract)

Hans Jürgen Ohlbach , Universität München
pp. 44-51
Short Papers

Probabilistic Temporal Interval Networks (Abstract)

Andr? Trudel , Acadia University
Vladimir Ryabov , University of Jyv?skyl?
pp. 64-67
Regular Papers

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

Shie-Jue Lee , National Sun Yat-Sen University
Wan-Jui Lee , National Sun Yat-Sen University
pp. 71-78

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
Short Papers

Max-Count Aggregation Estimation for Moving Points (Abstract)

Yi Chen , University of Nebraska-Lincoln
Peter Revesz , University of Nebraska-Lincoln
pp. 103-108

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

Stuart E. Madnick , Massachusetts Institute of Technology
Hongwei Zhu , Massachusetts Institute of Technology
Michael D. Siegel , Massachusetts Institute of Technology
pp. 109-114
Regular Papers

CTL Model Checking for Processing Simple XPath Queries (Abstract)

Maarten Marx , University of Amsterdam
Loredana Afanasiev , University of Amsterdam
Maarten de Rijke , University of Amsterdam
Massimo Franceschet , University of Amsterdam and University "G. d?Annunzio" of Chieti-Pescara
pp. 117-124

Compositional Temporal Logic Based on Partial Order (Abstract)

Wolfgang Reisig , Humboldt-Universit?t zu Berlin
Adrianna Alexander , Humboldt-Universit?t zu Berlin
pp. 125-132

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

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

Artie Basukoski , University of Westminster
Alexander Bolotov , University of Westminster
pp. 140-147
Short Papers

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

Mari-Carmen Fernández Gago , University of Liverpool
Michael Fisher , University of Liverpool
Clare Dixon , University of Liverpool
Wiebe van der Hoek , University of Liverpool
pp. 148-151

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

E. V. Kouzmin , Yaroslavl State University
V. A. Sokolov , Yaroslavl State University
N. V. Shilov , Institute of Informatics Systems
pp. 152-155
Author Index

Author Index (PDF)

pp. 161
97 ms
(Ver )