The Inference Engine of Extended Interval Temporal Logic

• 扩展时段时序逻辑的推理机制