default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th TIME 2002: Manchester, UK
- 9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002. IEEE Computer Society 2002, ISBN 0-7695-1474-X
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-17
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 - 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-43
Poster Session
- 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-63
Invited Talk
- David Toman:
Logical Data Expiration. 66-67
Paper Session 3: Time Management in Databases
- 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-92
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 - Paolo Terenziani:
Temporal Reasoning with Classes and Instances of Events. 100-107 - Alexandra M. Coddington:
A Continuous Planning Framework with Durative Actions. 108-114
Paper Session 5: Temporal Representation and Reasoning in AI
- Allan Ramsay:
Temporal Views as Abstract Relations. 116-123 - Tim Fernando:
A Finite-State Approach to Event Semantics. 124-131
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 - 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-153
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-03 23:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
