1 code implementation • 31 Mar 2023 • Samy Badreddine, Gianluca Apriceno, Andrea Passerini, Luciano Serafini
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 real-featured data.