default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYury Savateev
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c15]Mohamed Ragab, Yury Savateev, Helen Oliver, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Ruben Taelman, George Roussos:
Decentralized Search over Personal Online Datastores: Architecture and Performance Evaluation. ICWE 2024: 49-64- [c14]Mohamed Ragab
, Yury Savateev, Helen Oliver, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos:
A Demonstration of Decentralized Search Over Solid Personal Online Datastores. WWW (Companion Volume) 2024: 1055-1058 - [c13]Mohamed Ragab, Yury Savateev, Helen Oliver, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos:
Unlocking the Potential of Health Data with Decentralised Search in Personal Health Datastores. WWW (Companion Volume) 2024: 1154-1157 - [c12]Mohamed Ragab, Yury Savateev, Wenjie Wang, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Helen Oliver, George Roussos:
The 1st Workshop on Decentralised Search and Recommendation. WWW (Companion Volume) 2024: 1705-1708 - [i6]Mohamed Ragab, Yury Savateev, Wenjie Wang, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, Helen Oliver, George Roussos:
DESERE: The 1st Workshop on Decentralised Search and Recommendation. CoRR abs/2403.07732 (2024) - 2023
- [j5]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. J. Artif. Intell. Res. 76: 645-703 (2023) - [c11]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. IJCAI 2023: 3230-3238 - [c10]Mohamed Ragab, Yury Savateev, Reza Moosaei, Thanassis Tiropanis, Alexandra Poulovassilis, Adriane Chapman, George Roussos:
ESPRESSO: A Framework for Empowering Search on Decentralized Web. WISE 2023: 360-375 - [i5]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies. CoRR abs/2305.01248 (2023) - 2022
- [c9]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract). Description Logics 2022 - [c8]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. KR 2022 - [i4]Marie Fortin, Boris Konev, Vladislav Ryzhikov, Yury Savateev, Frank Wolter, Michael Zakharyaschev:
Unique Characterisability and Learnability of Temporal Instance Queries. CoRR abs/2205.01651 (2022) - [i3]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic. CoRR abs/2207.06210 (2022) - 2021
- [j4]Yury Savateev, Daniyar S. Shamkanov:
Non-Well-Founded Proofs for the Grzegorczyk Modal Logic. Rev. Symb. Log. 14(1): 22-50 (2021) - [c7]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-definability of Regular Languages. RAMiCS 2021: 241-257 - [c6]Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-Rewritability of Ontology-Mediated Queries in Linear Temporal Logic. TIME 2021: 10:1-10:15 - [i2]Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-definability of Regular Languages. CoRR abs/2105.06202 (2021) - 2020
- [c5]Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Recognising FO-rewritability of Ontology-Mediated Queries in Linear Temporal Logic. Description Logics 2020
2010 – 2019
- 2019
- [c4]Yury Savateev, Daniyar S. Shamkanov:
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. WoLLIC 2019: 569-583 - 2017
- [c3]Yury Savateev, Daniyar S. Shamkanov:
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. WoLLIC 2017: 321-335 - 2014
- [j3]Yury Savateev:
Proof internalization in generalized Frege systems for classical logic. Ann. Pure Appl. Log. 165(1): 340-356 (2014) - 2012
- [j2]Yury Savateev:
Product-free Lambek calculus is NP-complete. Ann. Pure Appl. Log. 163(7): 775-788 (2012) - 2011
- [i1]Yury Savateev:
Sequent Calculus for Justifications. TABLEAUX (Workshops, Tutorials, and Short Papers) 2011: 74 - 2010
- [j1]Yury Savateev:
Unidirectional Lambek Grammars in Polynomial Time. Theory Comput. Syst. 46(4): 662-672 (2010)
2000 – 2009
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
