Anton
Gnatenko
PhD student in Computer Science Bolzano, Italy
I like puzzles, feta cheese and travelling. When I'm not daydreaming (therefore, mostly at night) I study logic and computation with applications to machine reasoning.
Currently, I'm a PhD student at the krdb group of unibz supervised by Alessandro Artale and Nicola Gigante.
I was born in Moscow and learned to walk, talk and quick-sort there. Since 2021 I've been living in South Tyrol. Check my cv for more details.
Research (dblp)
Main Project: Logic Programs for Temporal Graphs
A temporal graph evolves in time by adding, removing and changing nodes and edges. A logic program works over temporal graphs: it uses logical reasoning to derive implicit information from the facts present in the graph and answer queries.
The "complexity" of the logical inference determines how fast the answer to the query is computed. With Alessandro Artale, Vladislav Ryzhikov and Michael Zakharyaschev we work on identifying the features of programs that make them slow to compute.
Extended abstract: Alessandro Artale, Anton 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. (link)
Extended abstract: Alessandro Artale, Anton Gnatenko, Vladislav Ryzhikov, Michael Zakharyaschev. On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators (Extended Abstract). Description Logics 2024.
Side Project: Ontoplex
An ontology (a.k.a. knowledge graph) of computational complexity. With Oliver Kutz and Nicolas Troquard, we are building a machine-readable representation of our (i.e. mine, Oliver's, Nicolas's and of the rest of the humanity) knowledge about computational complexity.
When ready, it can be used to query, visualize and automatically process the "big picture of complexity theory", something that is now available only in the heads of the experts.
We see applications in education, facilitation of research, and (as a bold dream) automated discovery of new results.
Workshop paper: Anton Gnatenko, Oliver Kutz, Nicolas Troquard. Building an Ontology of Computational Complexity. Foundational Ontology 2024.
Conference paper: Anton Gnatenko, Oliver Kutz, Nicolas Troquard. Modelling and Mining Knowledge about Computational Complexity. Knowledge Engineering and Knowledge Management 2024.
Etc
My favourite language learning app: Busuu.