![](/img/cover-not-exists.png)
The dark side of interval temporal logic: marking the undecidability border
Bresolin, Davide, Monica, Dario Della, Goranko, Valentin, Montanari, Angelo, Sciavicco, GuidoVolume:
71
Language:
english
Journal:
Annals of Mathematics and Artificial Intelligence
DOI:
10.1007/s10472-013-9376-4
Date:
July, 2014
File:
PDF, 962 KB
english, 2014