Evaluation of temporal datasets via interval temporal logic model checking

DOI10.4230/LIPICS.TIME.2017.11MaRDI QIDQ6486433zbMATH OpenFDO

Authors Dario Della Monica, David de Frutos Escrig, Angelo Montanari, Aniello Murano, Guido Sciavicco

Publication date 3 February 2023

Published in 1515.68109 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4230/LIPICS.TIME.2017.11

zbMATH Keywords

dataset evaluationinterval temporal logicsmodel checkingtemporal databases

Mathematics Subject Classification ID

Temporal logic (03B44) Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Checking interval properties of computations
• An in-depth investigation of interval temporal logic model checking with regular expressions
• Checking sets of pure evolving association rules
• scientific article; zbMATH DE number 2033327
• Mining approximate interval-based temporal dependencies

Cited in

(2)

• Model-checking based data retrieval. An application to semistructured and temporal data.
• Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison

This page was built for publication: Evaluation of temporal datasets via interval temporal logic model checking

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6486433)