Anton R. Gnatenko

According to our database, Anton R. Gnatenko authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).

Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic.

Anton R. Gnatenko, Vladimir A. Zakharov

Autom. Control. Comput. Sci., December, 2022

2021

On the Model Checking Problem for Some Extension of CTL.

Anton R. Gnatenko, Vladimir A. Zakharov

Autom. Control. Comput. Sci., 2021

2019

On the Expressive Power of Some Extensions of Linear Temporal Logic.

Anton R. Gnatenko, Vladimir A. Zakharov

Autom. Control. Comput. Sci., 2019