Message from the General Chairs

Message from the Program Chairs (PDF)

pp. viii

Conference Committees (PDF)

pp. ix

Invited Talk 1

Automated Verification = Graphs, Logic, and Automata

Paper Session 1: Temporal Logic in Computer Science

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

Sebastian Bauer, Universität Leipzig

Ian Hodkinson, Imperial College

Frank Wolter, Universität Leipzig

Michael Zakharyaschev, King?s College

pp. 2

PDF

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

PDF

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

PDF

Extending the Point Algebra into the Qualitative Algebra (Abstract)

Andrei Krokhin, Oxford University Computing Laboratory

Peter Jonsson, Link?ping University

pp. 28

PDF

Reasoning with Disjunctive Fuzzy Temporal Constraint Networks (Abstract)

Alfonso Bosch, Universidad de Almer?

Manuel Torres, Universidad de Almer?

Roque Marín, Universidad de Murcia

pp. 36

PDF

Poster Session

Representation and Reasoning with Disjunctive Temporal Constraints (Abstract)

Maria Isabel Alfonso Galipienso, Universidad de Alicante

Federico Barber Sanchis, Universidad Politecnica de Valencia

pp. 46

PDF

Extending the RETE Algorithm for Event Management (Abstract)

Bruno Berstel, ILOG

pp. 49

PDF

Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols (Abstract)

Antony Galton, University of Exeter

Juan Carlos Augusto, University of Southampton

pp. 52

PDF

Distributed States Logic (Abstract)

Carlo Montangero, Università di Pisa

Laura Semini, Università di Pisa

pp. 55

PDF

Performance of Querying Temporal Attributes in Object-Relational Databases (Abstract)

Carsten Kleiner, University of Hannover

Udo W. Lipeck, University of Hannover

pp. 58

PDF

A Parameterized Algebra for Event Notification Services (Abstract)

Annika Hinze, Freie Universität Berlin

Agnès Voisard, Freie Universität Berlin

pp. 61

PDF

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

PDF

Evolution Specification of Multigranular Temporal Objects (Abstract)

Elena Camossi, Università di Milano

Elisa Bertino, Università di Milano

Giovanna Guerrini, Università di Pisa

Marco Mesiti, Università di Genova

pp. 78

PDF

Kyoji Kawagoe, Ritsumeikan University

Tomohiro Ueda, Ritsumeikan University

pp. 86

PDF

Invited Talk 3

Temporal Data and the Relational Model

Paper Session 4: Temporal Representation and Reasoning in AI

Applying Local Search to Temporal Reasoning (Abstract)

J. Thornton, Griffith University Gold Coast

M. Beaumont, Griffith University Gold Coast

A. Sattar, Griffith University Gold Coast

Michael Maher, Loyola University

pp. 94

PDF

Temporal Reasoning with Classes and Instances of Events (Abstract)

Paolo Terenziani, Univ. del Piemonte Orientale "Amedeo Avogadro"

pp. 100

PDF

A Continuous Planning Framework with Durative Actions (Abstract)

Alexandra Coddington, University of Durham

pp. 108

PDF

Invited Talk 4

Title to be Announced

Paper Session 5: Temporal Representation and Reasoning in AI

Temporal Views as Abstract Relations (Abstract)

Allan Ramsay, UMIST

pp. 116

PDF

A Finite-State Approach to Event Semantics (Abstract)

Tim Fernando, Trinity College

pp. 124

PDF

Paper Session 6: Temporal Logic in Computer Science

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

Carlo Combi, University of Verona

Massimo Franceschet, University ?G. D?Annunzio? of Pescara

Adriano Peron, University ?Federico II? of Napoli

pp. 134

PDF

Tensed Ontology Based on Simple Partial Logic (Abstract)

Daisuke Kachi, Saitama University

pp. 141

PDF

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

Alfredo Burrieza, Universidad de Málaga

Inma P. de Guzmán, Universidad de Málaga

Emilio Muñoz, Universidad de Málaga

pp. 146

PDF

Author Index

Author Index (PDF)

pp. 155