Interval Logic Tensor Networks

Samy Badreddine, Gianluca Apriceno, Andrea Passerini +1

In this paper, we introduce Interval Real Logic (IRL), a two-sorted logic that interprets knowledge such as sequential properties (traces) and event properties using sequences of r…