On Coarser Interval Temporal Logics and their Satisfiability Problem

 

Abstract

Citation

Please, cite this work as:

[Mun+15] E. Mu~noz-Velasco, M. Pelegr'-Garc', P. Sala, et al. “On Coarser Interval Temporal Logics and their Satisfiability Problem”. In: Advances in Artificial Intelligence - 16th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2015, Albacete, Spain, November 9-12, 2015, Proceedings. Ed. by J. M. Puerta, J. A. Gámez, B. Dorronsoro, E. Barrenechea, A. Troncoso, B. Baruque and M. Galar. Vol. 9422. Lecture Notes in Computer Science. Springer, 2015, pp. 105-115. DOI: 10.1007/978-3-319-24598-0_10. URL: https://doi.org/10.1007/978-3-319-24598-0_10.

BibTeX

@InProceedings{MunozVelasco2015,
     author = {Emilio Mu~noz-Velasco and Mercedes Pelegr'-Garc'and Pietro Sala and Guido Sciavicco},
     booktitle = {Advances in Artificial Intelligence - 16th Conference of the Spanish Association for Artificial Intelligence, {CAEPIA} 2015, Albacete, Spain, November 9-12, 2015, Proceedings},
     title = {On Coarser Interval Temporal Logics and their Satisfiability Problem},
     year = {2015},
     editor = {Jos{’e} Miguel Puerta and Jos{’e} A. G{’a}mez and Bernab{’e} Dorronsoro and Edurne Barrenechea and Alicia Troncoso and Bruno Baruque and Mikel Galar},
     pages = {105–115},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {9422},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/caepia/Munoz-VelascoPS15.bib},
     doi = {10.1007/978-3-319-24598-0_10},
     timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
     url = {https://doi.org/10.1007/978-3-319-24598-0_10},
}

Bibliometric data

The following data has been extracted from resources such as OpenAlex, Dimensions, PlumX or Altmetric.

On Coarser Interval Temporal Logics and their Satisfiability Problem

Cites

The following graph plots the number of cites received by this work from its publication, on a yearly basis.

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] D. Bresolin, A. Kurucz, E. Muñoz-Velasco, et al. “Horn Fragments of the Halpern-Shoham Interval Temporal Logic”. In: ACM Transactions on Computational Logic 18.3 (Jul. 2017), p. 1–39. ISSN: 1557-945X. DOI: 10.1145/3105909. URL: http://dx.doi.org/10.1145/3105909.