9. TIME 2002: Manchester, UK

9th International Symposium on Temporal Representation and Reasoning, TIME-2002, 7-9 July, 2002, Manchester, UK. IEEE Computer Society, 2002

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
Jérémie Blanc, Rachid Echahed:
On the Operational Semantics of Timed Rewrite Systems. 10-

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

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

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

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

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

Last update Wed Feb 15 05:19:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page