Yury Savateev

According to our database, Yury Savateev authored at least 17 papers between 2008 and 2024.

Collaborative distances:

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

2024

DESERE: The 1st Workshop on Decentralised Search and Recommendation.

Mohamed Ragab, Yury Savateev, Wenjie Wang, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Helen Oliver, George Roussos

CoRR, 2024

2023

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

J. Artif. Intell. Res., 2023

ESPRESSO: A Framework for Empowering Search on Decentralized Web.

Mohamed Ragab, Yury Savateev, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos

Proceedings of the Web Information Systems Engineering - WISE 2023, 2023

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Unique Characterisability and Learnability of Temporal Instance Queries.

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).

Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

2021

Non-Well-Founded Proofs for the Grzegorczyk Modal Logic.

Yury Savateev, Daniyar S. Shamkanov

Rev. Symb. Log., 2021

Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

Proceedings of the 28th International Symposium on Temporal Representation and Reasoning, 2021

Deciding FO-definability of Regular Languages.

Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic.

Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs.

Yury Savateev, Daniyar S. Shamkanov

Proceedings of the Logic, Language, Information, and Computation, 2019

2017

Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs.

Yury Savateev, Daniyar S. Shamkanov

Proceedings of the Logic, Language, Information, and Computation, 2017

2014

Proof internalization in generalized Frege systems for classical logic.

Yury Savateev

Ann. Pure Appl. Log., 2014

2012

Product-free Lambek calculus is NP-complete.

Yury Savateev

Ann. Pure Appl. Log., 2012

2011

Sequent Calculus for Justifications.

Yury Savateev

Proceedings of the TABLEAUX 2011, 2011

2010

Unidirectional Lambek Grammars in Polynomial Time.

Yury Savateev

Theory Comput. Syst., 2010

2008

Lambek Grammars with One Division Are Decidable in Polynomial Time.

Yury Savateev

Proceedings of the Computer Science, 2008