Proceedings Ninth International Symposium on Temporal Representation and Reasoning
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE Comput. Soc

076951474x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Extending the point algebra into the qualitative algebra

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027469 ◽

2005 ◽

Cited By ~ 1

Author(s):

A. Krokhin ◽

P. Jonsson

Keyword(s):

Qualitative Algebra

Download Full-text

Index based processing of semi-restrictive temporal joins

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027478 ◽

2003 ◽

Cited By ~ 1

Author(s):

Donghui Zhang ◽

V.J. Tsotras

Download Full-text

Reasoning with disjunctive fuzzy temporal constraint networks

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027470 ◽

2003 ◽

Cited By ~ 8

Author(s):

A. Bosch ◽

M. Torres ◽

R. Marin

Keyword(s):

Temporal Constraint ◽

Constraint Networks

Download Full-text

Towards a comprehensive treatment of temporal constraints in clinical guidelines

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027468 ◽

2003 ◽

Cited By ~ 3

Author(s):

P. Terenziani ◽

C. Carlini ◽

S. Montani

Keyword(s):

Clinical Guidelines ◽

Comprehensive Treatment ◽

Temporal Constraints

Download Full-text

Applying local search to temporal reasoning

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027481 ◽

2003 ◽

Cited By ~ 2

Author(s):

J. Thornton ◽

M. Beaumont ◽

A. Sattar ◽

M. Maher

Keyword(s):

Local Search ◽

Temporal Reasoning

Download Full-text

A continuous planning framework with durative actions

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027483 ◽

2003 ◽

Cited By ~ 4

Author(s):

A. Coddington

Keyword(s):

Planning Framework

Download Full-text

A similarity search method of time series data with combination of Fourier and wavelet transforms

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027480 ◽

2003 ◽

Cited By ~ 12

Author(s):

K. Kawagoe ◽

T. Ueda

Keyword(s):

Time Series ◽

Wavelet Transforms ◽

Similarity Search ◽

Time Series Data ◽

Search Method ◽

Series Data

Download Full-text

On non-local propositional and local one-variable quantified CTL*

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027466 ◽

2003 ◽

Cited By ~ 1

Author(s):

S. Bauer ◽

I. Hodkinson ◽

F. Wolter ◽

M. Zakharyaschev

Keyword(s):

Non Local

Download Full-text

Extending the RETE algorithm for event management

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027472 ◽

2003 ◽

Cited By ~ 12

Author(s):

B. Berstel

Keyword(s):

Event Management

Download Full-text

Stratified causal theories for reasoning about deterministic devices and protocols

Proceedings Ninth International Symposium on Temporal Representation and Reasoning ◽

10.1109/time.2002.1027473 ◽

2003 ◽

Cited By ~ 6

Author(s):

A. Galton ◽

J.C. Augusto

Keyword(s):

Causal Theories

Download Full-text

Proceedings Ninth International Symposium on Temporal Representation and ReasoningLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By IEEE Comput. Soc

Extending the point algebra into the qualitative algebra

Index based processing of semi-restrictive temporal joins

Reasoning with disjunctive fuzzy temporal constraint networks

Towards a comprehensive treatment of temporal constraints in clinical guidelines

Applying local search to temporal reasoning

A continuous planning framework with durative actions

A similarity search method of time series data with combination of Fourier and wavelet transforms

On non-local propositional and local one-variable quantified CTL*

Extending the RETE algorithm for event management

Stratified causal theories for reasoning about deterministic devices and protocols

Proceedings Ninth International Symposium on Temporal Representation and Reasoning
Latest Publications