Extracting Interval Temporal Logic Rules: {A} First Approach

uncategorised
Authors

Davide Bresolin

Enrico Cominato

Simone Gnani

Emilio Muñoz Velasco

Guido Sciavicco

Published

1 January 2018

Publication details

25th International Symposium on Temporal Representation and Reasoning, {TIME} 2018, Warsaw, Poland, October 15-17, 2018 , LIPIcs vol. 120, pages 7:1–7:15.

Links

DOI

 

Abstract

Citation

Please, cite this work as:

[Bre+18] D. Bresolin, E. Cominato, S. Gnani, et al. “Extracting Interval Temporal Logic Rules: A First Approach”. In: 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. Ed. by N. Alechina, K. Nørvåg and W. Penczek. Vol. 120. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018, pp. 7:1-7:15. DOI: 10.4230/LIPICS.TIME.2018.7. URL: https://doi.org/10.4230/LIPIcs.TIME.2018.7.

@InProceedings{Bresolin2018a,
     author = {Davide Bresolin and Enrico Cominato and Simone Gnani and Emilio Mu~noz-Velasco and Guido Sciavicco},
     booktitle = {25th International Symposium on Temporal Representation and Reasoning, {TIME} 2018, Warsaw, Poland, October 15-17, 2018},
     title = {Extracting Interval Temporal Logic Rules: {A} First Approach},
     year = {2018},
     editor = {Natasha Alechina and Kjetil N{}rv{}g and Wojciech Penczek},
     pages = {7:1–7:15},
     publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{"{u}}r Informatik},
     series = {LIPIcs},
     volume = {120},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/time/BresolinCGMS18.bib},
     doi = {10.4230/LIPICS.TIME.2018.7},
     timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
     url = {https://doi.org/10.4230/LIPIcs.TIME.2018.7},
}

Bibliometric data

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

Extracting Interval Temporal Logic Rules: {A} First Approach

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] G. Sciavicco, I. E. Stan, and A. Vaccari. “Towards a General Method for Logical Rule Extraction from Time Series”. In: From Bioinspired Systems and Biomedical Applications to Machine Learning. Springer International Publishing, 2019, p. 3–12. ISBN: 9783030196516. DOI: 10.1007/978-3-030-19651-6_1. URL: http://dx.doi.org/10.1007/978-3-030-19651-6_1.