The Community for Technology Leaders
Temporal Representation and Reasoning, International Syposium on (2002)
Manchester, UK
July 7, 2002 to July 9, 2002
ISSN: 1530-1311
ISBN: 0-7695-1474-X
TABLE OF CONTENTS
Introduction
Invited Talk 1
Paper Session 1: Temporal Logic in Computer Science

On Non-Local Propositional and Local One-Variable Quantified CTL* (Abstract)

Michael Zakharyaschev , King?s College
Ian Hodkinson , Imperial College
Frank Wolter , Universität Leipzig
Sebastian Bauer , Universität Leipzig
pp. 2

On the Operational Semantics of Timed Rewrite Systems (Abstract)

Jérémie Blanc , Laboratoire LEIBNIZ — Institut IMAG, CNRS
Rachid Echahed , Laboratoire LEIBNIZ — Institut IMAG, CNRS
pp. 10
Paper Session 2: Temporal Representation and Reasoning in AI

Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines (Abstract)

Paolo Terenziani , Univ. del Piemonte Orientale "Amedeo Avogadro"
Carlo Carlini , Univ. del Piemonte Orientale "Amedeo Avogadro"
Stefania Montani , Univ. del Piemonte Orientale "Amedeo Avogadro"
pp. 20

Extending the Point Algebra into the Qualitative Algebra (Abstract)

Peter Jonsson , Link?ping University
Andrei Krokhin , Oxford University Computing Laboratory
pp. 28

Reasoning with Disjunctive Fuzzy Temporal Constraint Networks (Abstract)

Roque Marín , Universidad de Murcia
Alfonso Bosch , Universidad de Almer?
Manuel Torres , Universidad de Almer?
pp. 36
Poster Session

Representation and Reasoning with Disjunctive Temporal Constraints (Abstract)

Federico Barber Sanchis , Universidad Politecnica de Valencia
Maria Isabel Alfonso Galipienso , Universidad de Alicante
pp. 46

Distributed States Logic (Abstract)

Laura Semini , Università di Pisa
Carlo Montangero , Università di Pisa
pp. 55

A Parameterized Algebra for Event Notification Services (Abstract)

Agnès Voisard , Freie Universität Berlin
Annika Hinze , Freie Universität Berlin
pp. 61
Invited Talk 2

Logical Data Expiration (PDF)

David Toman , University of Waterloo
pp. 66
Paper Session 3: Time Management in Databases

Index Based Processing of Semi-Restrictive Temporal Joins (Abstract)

Donghui Zhang , University of California at Riverside
Vassilis J. Tsotras , University of California at Riverside
pp. 70

Evolution Specification of Multigranular Temporal Objects (Abstract)

Elena Camossi , Università di Milano
Marco Mesiti , Università di Genova
Giovanna Guerrini , Università di Pisa
Elisa Bertino , Università di Milano
pp. 78
Invited Talk 3
Paper Session 4: Temporal Representation and Reasoning in AI

Applying Local Search to Temporal Reasoning (Abstract)

M. Beaumont , Griffith University Gold Coast
Michael Maher , Loyola University
J. Thornton , Griffith University Gold Coast
A. Sattar , Griffith University Gold Coast
pp. 94

Temporal Reasoning with Classes and Instances of Events (Abstract)

Paolo Terenziani , Univ. del Piemonte Orientale "Amedeo Avogadro"
pp. 100
Invited Talk 4
Paper Session 5: Temporal Representation and Reasoning in AI
Paper Session 6: Temporal Logic in Computer Science

A Logical Approach to Represent and Reason about Calendars (Abstract)

Massimo Franceschet , University ?G. D?Annunzio? of Pescara
Carlo Combi , University of Verona
Adriano Peron , University ?Federico II? of Napoli
pp. 134

Indexed Flows in Temporal ? Modal Logic with Functional Semantics (Abstract)

Emilio Muñoz , Universidad de Málaga
Inma P. de Guzmán , Universidad de Málaga
Alfredo Burrieza , Universidad de Málaga
pp. 146
Author Index

Author Index (PDF)

pp. 155
105 ms
(Ver )