TIME C

24 papers

YearTitle / Authors
20029th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002
2002A Continuous Planning Framework with Durative Actions.
Alexandra M. Coddington
2002A Finite-State Approach to Event Semantics.
Tim Fernando
2002A Logical Approach to Represent and Reason about Calendars.
Carlo Combi, Massimo Franceschet, Adriano Peron
2002A Parameterized Algebra for Event Notification Services.
Annika Hinze, Agnès Voisard
2002A Similarity Search Method of Time Series Data with Combination of Fourier and Wavelet Transforms.
Kyoji Kawagoe, Tomohiro Ueda
2002Applying Local Search to Temporal Reasoning.
John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher
2002Evolution Specification of Multigranular Temporal Objects.
Elena Camossi, Elisa Bertino, Giovanna Guerrini, Marco Mesiti
2002Extending the Point Algebra into the Qualitative Algebra.
Andrei A. Krokhin, Peter Jonsson
2002Extending the RETE Algorithm for Event Management.
Bruno Berstel
2002Index Based Processing of Semi-Restrictive Temporal Joins.
Donghui Zhang, Vassilis J. Tsotras
2002Indexed Flows in Temporal x Modal Logic with Functional Semantics.
Alfredo Burrieza, Inman P. de Guzmán, Emilio Muñoz-Velasco
2002Logical Data Expiration.
David Toman
2002On Non-Local Propositional and Local One-Variable Quantified CTL*.
Sebastian Bauer, Ian M. Hodkinson, Frank Wolter, Michael Zakharyaschev
2002On the Operational Semantics of Timed Rewrite Systems.
Jérémie Blanc, Rachid Echahed
2002Performance of Querying Temporal Attributes in Object-Relational Databases.
Carsten Kleiner, Udo W. Lipeck
2002Reasoning with Disjunctive Fuzzy Temporal Constraint Networks.
Alfonso Bosch, Manuel Torres, Roque Marín
2002Representation and Reasoning with Disjunctive Temporal Constraints.
María Isabel Alfonso Galipienso, Federico Barber Sanchís
2002Stratified Causal Theories for Reasoning about Deterministic Devices and Protocols.
Antony Galton, Juan Carlos Augusto
2002Temporal Reasoning with Classes and Instances of Events.
Paolo Terenziani
2002Temporal Views as Abstract Relations.
Allan Ramsay
2002Tensed Ontology Based on Simple Partial Logic.
Daisuke Kachi
2002Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines.
Paolo Terenziani, Carlo Carlini, Stefania Montani
2002istributed States Logic.
Carlo Montangero, Laura Semini