Savateev, Yury

2 publications

JAIR 2023 Deciding FO-Rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

IJCAI 2023 Reverse Engineering of Temporal Queries Mediated by LTL Ontologies Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev