On Coarser Interval Temporal Logics and their Satisfiability Problem

Emilio Muñoz-Velasco, Mercedes Pelegrín-García, Pietro Sala, Guido Sciavicco. On Coarser Interval Temporal Logics and their Satisfiability Problem. In José Miguel Puerta, José A. Gámez, Bernabé Dorronsoro, Edurne Barrenechea, Alicia Troncoso, Bruno Baruque, Mikel Galar, editors, Advances in Artificial Intelligence - 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Albacete, Spain, November 9-12, 2015, Proceedings. Volume 9422 of Lecture Notes in Computer Science, pages 105-115, Springer, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: