Interval Logic Tensor Networks