9. TIME 2002: Manchester, UK

Paper Session 1: Temporal Logic in Computer Science

• Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev:
  On Non-Local Propositional and Local One-Variable Quantified CTL*. 2-9
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Jérémie Blanc, Rachid Echahed:
  On the Operational Semantics of Timed Rewrite Systems. 10-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Paper Session 2: Temporal Representation and Reasoning in AI

• Paolo Terenziani, Carlo Carlini, Stefania Montani:
  Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines. 20-27
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Andrei A. Krokhin, Peter Jonsson:
  Extending the Point Algebra into the Qualitative Algebra. 28-35
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Alfonso Bosch, Manuel Torres, Roque Marín:
  Reasoning with Disjunctive Fuzzy Temporal Constraint Networks. 36-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Poster Session

• María Isabel Alfonso Galipienso, Federico Barber Sanchís:
  Representation and Reasoning with Disjunctive Temporal Constraints. 46-48
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Bruno Berstel:
  Extending the RETE Algorithm for Event Management. 49-51
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Antony Galton, Juan Carlos Augusto:
  Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols. 52-54
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Carlo Montangero, Laura Semini:
  istributed States Logic. 55-57
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Carsten Kleiner, Udo W. Lipeck:
  Performance of Querying Temporal Attributes in Object-Relational Databases. 58-60
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Annika Hinze, Agnès Voisard:
  A Parameterized Algebra for Event Notification Services. 61-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Invited Talk

• David Toman:
  Logical Data Expiration. 66-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Paper Session 3: Time Management in Databases

• Donghui Zhang, Vassilis J. Tsotras:
  Index Based Processing of Semi-Restrictive Temporal Joins. 70-77
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Elena Camossi, Elisa Bertino, Giovanna Guerrini, Marco Mesiti:
  Evolution Specification of Multigranular Temporal Objects. 78-85
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Kyoji Kawagoe, Tomohiro Ueda:
  A Similarity Search Method of Time Series Data with Combination of Fourier and Wavelet Transforms. 86-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Paper Session 4: Temporal Representation and Reasoning in AI

• John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher:
  Applying Local Search to Temporal Reasoning. 94-99
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Paolo Terenziani:
  Temporal Reasoning with Classes and Instances of Events. 100-107
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Alexandra M. Coddington:
  A Continuous Planning Framework with Durative Actions. 108-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Paper Session 5: Temporal Representation and Reasoning in AI

• Allan Ramsay:
  Temporal Views as Abstract Relations. 116-123
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Tim Fernando:
  A Finite-State Approach to Event Semantics. 124-
  Electronic Edition (IEEE Computer Society DL) BibTeX

Paper Session 6: Temporal Logic in Computer Science

• Carlo Combi, Massimo Franceschet, Adriano Peron:
  A Logical Approach to Represent and Reason about Calendars. 134-140
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Daisuke Kachi:
  Tensed Ontology Based on Simple Partial Logic. 141-145
  Electronic Edition (IEEE Computer Society DL) BibTeX
• Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco:
  Indexed Flows in Temporal x Modal Logic with Functional Semantics. 146-
  Electronic Edition (IEEE Computer Society DL) BibTeX