Anton R. Gnatenko

12 papers A 2B 1Journal 5Unranked 4
YearRankTypeTitle / Venue / Authors
2025 — conf
Analysing Temporal Reasoning in Description Logics Using Formal Grammars (Extended Abstract).
DL
Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo
2025 A conf
Analysing Temporal Reasoning in Description Logics Using Formal Grammars.
ECAI
Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo
2025 J jnl
Analysing Temporal Reasoning in Description Logics Using Formal Grammars.
CoRR
Camille Bourgaux, Anton R. Gnatenko, Michaël Thomazo
2025 J jnl
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version).
CoRR
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2025 A conf
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators.
ICDT
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2024 — conf
Building an ontology of computational complexity.
JOWO
Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard
2024 B conf
Modelling and Mining Knowledge About Computational Complexity.
EKAW
Anton R. Gnatenko, Oliver Kutz, Nicolas Troquard
2024 — conf
On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract).
Description Logics
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2023 — conf
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
Description Logics
Alessandro Artale, Anton R. Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev
2022 J jnl
Satisfiability and Model Checking for One Parameterized Extension of Linear Temporal Logic.
Autom. Control. Comput. Sci.
Anton R. Gnatenko, Vladimir A. Zakharov
2021 J jnl
On the Model Checking Problem for Some Extension of CTL.
Autom. Control. Comput. Sci.
Anton R. Gnatenko, Vladimir A. Zakharov
2019 J jnl
On the Expressive Power of Some Extensions of Linear Temporal Logic.
Autom. Control. Comput. Sci.
Anton R. Gnatenko, Vladimir A. Zakharov