Fast(er) Reasoning in Interval Temporal Logic

 

Abstract

Citation

Please, cite this work as:

[BMS17] D. Bresolin, E. Mu~noz-Velasco, and G. Sciavicco. “Fast(er) Reasoning in Interval Temporal Logic”. In: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden. Ed. by V. Goranko and M. Dam. Vol. 82. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017, pp. 17:1-17:17. DOI: 10.4230/LIPICS.CSL.2017.17. URL: https://doi.org/10.4230/LIPIcs.CSL.2017.17.

BibTeX

@InProceedings{Bresolin2017a,
     author = {Davide Bresolin and Emilio Mu~noz-Velasco and Guido Sciavicco},
     booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017, August 20-24, 2017, Stockholm, Sweden},
     title = {Fast(er) Reasoning in Interval Temporal Logic},
     year = {2017},
     editor = {Valentin Goranko and Mads Dam},
     pages = {17:1–17:17},
     publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{"{u}}r Informatik},
     series = {LIPIcs},
     volume = {82},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/csl/BresolinMS17.bib},
     doi = {10.4230/LIPICS.CSL.2017.17},
     timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
     url = {https://doi.org/10.4230/LIPIcs.CSL.2017.17},
}

Bibliometric data

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

Fast(er) Reasoning in Interval Temporal Logic

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] P. A. Wałęga. “Hybrid fragments of Halpern–Shoham logic and their expressive power”. In: Theoretical Computer Science 797 (Dec. 2019), p. 102–128. ISSN: 0304-3975. DOI: 10.1016/j.tcs.2019.01.014. URL: http://dx.doi.org/10.1016/j.tcs.2019.01.014.