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]
@inproceedings{Munoz-VelascoPS15,
title = {On Coarser Interval Temporal Logics and their Satisfiability Problem},
author = {Emilio Muñoz-Velasco and Mercedes Pelegrín-García and Pietro Sala and Guido Sciavicco},
year = {2015},
doi = {10.1007/978-3-319-24598-0_10},
url = {http://dx.doi.org/10.1007/978-3-319-24598-0_10},
researchr = {https://researchr.org/publication/Munoz-VelascoPS15},
cites = {0},
citedby = {0},
pages = {105-115},
booktitle = {Advances in Artificial Intelligence - 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Albacete, Spain, November 9-12, 2015, Proceedings},
editor = {José Miguel Puerta and José A. Gámez and Bernabé Dorronsoro and Edurne Barrenechea and Alicia Troncoso and Bruno Baruque and Mikel Galar},
volume = {9422},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-24597-3},
}