activity
20122025
most citedHorn Fragments of the Halpern-Shoham Interval Temporal Logic (Technical Report)

27 citations · 58 across the 16 of their papers we have counts for

collaborators
Showing cs.CCShow all

1 paper · 1 filter

cs.CC2022★ 3 cited

Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev +1

Our concern is the problem of determining the data complexity of answering an ontology-mediated query (OMQ) formulated in linear temporal logic LTL over (Z,<) and deciding whether…