Fast(er) Reasoning in Interval Temporal Logic

Authors

Davide Bresolin

Guido Sciavicco

Published

1 January 2017

Publication details

26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017, August 20-24, 2017, Stockholm, Sweden , LIPIcs vol. 82, pages 17:1–17:17.

Links

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.

Citations
Scopus - Citation Indexes: 2

Captures
Mendeley - Readers: 3

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.