Decidable and undecidable fragments of Halpern and Shoham’s interval temporal logic: towards a complete classification (2008)


Download Links

by Davide Bresolin , Dario Della Monica , Valentin Goranko , Angelo Montanari , Guido Sciavicco
Venue:In Proc. of the 15th Int. Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), volume 5330 of LNCS
Citations:17 - 15 self