Features

• Interval-based.
• Sliding window reasoning.
• Interval manipulation constructs for non-inertial fluents.
• Caching for avoiding unnecesary re-computations.
• Support for out-of-order data streams.
• Indexing for handling efficiently irrelevant data.
• Efficient handling of cyclic dependencies among fluents.
• Support for events with delayed effects.
• Support for Allen's Interval algebra.

🠔