Scalable Temporal Reasoning

Abstract

We introduce two mechanisms for scaling computations in the framework of temporal reasoning. The first one addresses abstraction at the methodological level. Operators are defined that engender flexible switching between different granularities of temporal representation structures. The second one accounts for abstractions at the interface level of a… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics