Anton R. Gnatenko

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Transitive Closure

Data Complexity

Linear Temporal Logic

Top Venues

Autom. Control. Comput. Sci.

Description Logics

Publications

Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics (2024)
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract). Description Logics (2023)
Anton R. Gnatenko, Vladimir A. Zakharov
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic. Autom. Control. Comput. Sci. 56 (7) (2022)
Anton R. Gnatenko, Vladimir A. Zakharov
On the Model Checking Problem for Some Extension of CTL. Autom. Control. Comput. Sci. 55 (7) (2021)
Anton R. Gnatenko, Vladimir A. Zakharov
On the Expressive Power of Some Extensions of Linear Temporal Logic. Autom. Control. Comput. Sci. 53 (7) (2019)