Anton R. Gnatenko

Orcid: 0000-0003-1499-2090

According to our database1, Anton R. Gnatenko authored at least 7 papers between 2019 and 2024.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
3
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Building an ontology of computational complexity.
Proceedings of the Joint Ontology Workshops (JOWO), 2024

Modelling and Mining Knowledge About Computational Complexity.
Proceedings of the Knowledge Engineering and Knowledge Management, 2024

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract).
Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023
A Decidable Temporal DL-Lite Logic with Undecidable First-Order and Datalog-rewritability of Ontology-Mediated Atomic Queries (Extended Abstract).
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.
Autom. Control. Comput. Sci., December, 2022

2021
On the Model Checking Problem for Some Extension of CTL.
Autom. Control. Comput. Sci., 2021

2019
On the Expressive Power of Some Extensions of Linear Temporal Logic.
Autom. Control. Comput. Sci., 2019


  Loading...