Yury Savateev

27 papers A* 2B 2C 4Misc 2Journal 11Unranked 6
YearRankTypeTitle / Venue / Authors
2024 — conf
A Demonstration of Decentralized Search Over Solid Personal Online Datastores.
WWW (Companion Volume)
Mohamed Ragab, Yury Savateev, Helen Oliver, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos
2024 J jnl
DESERE: The 1st Workshop on Decentralised Search and Recommendation.
CoRR
Mohamed Ragab, Yury Savateev, Wenjie Wang, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Helen Oliver, George Roussos
2024 B conf
Decentralized Search over Personal Online Datastores: Architecture and Performance Evaluation.
ICWE
Mohamed Ragab, Yury Savateev, Helen Oliver, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Ruben Taelman, George Roussos
2024 J jnl
ESPRESSO: A Framework to Empower Search on the Decentralized Web.
Data Sci. Eng.
Mohamed Ragab, Yury Savateev, Helen Oliver, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos
2024 — conf
The 1st Workshop on Decentralised Search and Recommendation.
WWW (Companion Volume)
Mohamed Ragab, Yury Savateev, Wenjie Wang, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Helen Oliver, George Roussos
2024 — conf
Unlocking the Potential of Health Data with Decentralised Search in Personal Health Datastores.
WWW (Companion Volume)
Mohamed Ragab, Yury Savateev, Helen Oliver, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos
2023 J jnl
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.
J. Artif. Intell. Res.
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2023 B conf
ESPRESSO: A Framework for Empowering Search on Decentralized Web.
WISE
Mohamed Ragab, Yury Savateev, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos
2023 A* conf
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
IJCAI
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2023 J jnl
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
CoRR
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022 J jnl
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic.
CoRR
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2022 — conf
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).
Description Logics
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022 A* conf
Unique Characterisability and Learnability of Temporal Instance Queries.
KR
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2022 J jnl
Unique Characterisability and Learnability of Temporal Instance Queries.
CoRR
Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev
2021 C conf
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
TIME
Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 C conf
Deciding FO-definability of Regular Languages.
RAMiCS
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 J jnl
Deciding FO-definability of Regular Languages.
CoRR
Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2021 J jnl
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic.
Rev. Symb. Log.
Yury Savateev, Daniyar S. Shamkanov
2020 — conf
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic.
Description Logics
Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev
2019 C conf
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs.
WoLLIC
Yury Savateev, Daniyar S. Shamkanov
2017 C conf
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs.
WoLLIC
Yury Savateev, Daniyar S. Shamkanov
2014 J jnl
Proof internalization in generalized Frege systems for classical logic.
Ann. Pure Appl. Log.
Yury Savateev
2012 J jnl
Product-free Lambek calculus is NP-complete.
Ann. Pure Appl. Log.
Yury Savateev
2011 — conf
Sequent Calculus for Justifications.
TABLEAUX (Workshops, Tutorials, and Short Papers)
Yury Savateev
2010 J jnl
Unidirectional Lambek Grammars in Polynomial Time.
Theory Comput. Syst.
Yury Savateev
2009 Misc conf
Product-Free Lambek Calculus Is NP-Complete.
LFCS
Yury Savateev
2008 Misc conf
Lambek Grammars with One Division Are Decidable in Polynomial Time.
CSR
Yury Savateev