activity
20112024
most citedCombining Spatial and Temporal Logics: Expressiveness vs. Complexity

76 citations · 83 across the 7 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…