12 citations · 13 across the 6 of their papers we have counts for
1 paper · 1 filter
Davide Bresolin, Dario Della Monica, Angelo Montanari +2
Interval temporal logics provide a general framework for temporal reasoning about interval structures over linearly ordered domains, where intervals are taken as the primitive onto…