Scalable Temporal Reasoning


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


  • Presentations referencing similar topics