( en | de | ru )

 

Disambiguation of "Savateev, Yury"

Author of the publication

copydeleteadd this publication to your clipboard
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.

, , , and . J. Artif. Intell. Res., (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ruslan Yuryev

Yury Postnikov

Yury Markovskiy

Yury Valdau

Yury Lebedev

 

Other publications of authors with the same name

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic., , , and . J. Artif. Intell. Res., (2023)Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs., and . WoLLIC, volume 11541 of Lecture Notes in Computer Science, page 569-583. Springer, (2019)The 1st Workshop on Decentralised Search and Recommendation., , , , , , , , and . WWW (Companion Volume), page 1705-1708. ACM, (2024)Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic., , , and . CoRR, (2022)Unique Characterisability and Learnability of Temporal Instance Queries., , , , , and . KR, (2022)Decentralized Search over Personal Online Datastores: Architecture and Performance Evaluation., , , , , , , and . ICWE, volume 14629 of Lecture Notes in Computer Science, page 49-64. Springer, (2024)Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs., and . WoLLIC, volume 10388 of Lecture Notes in Computer Science, page 321-335. Springer, (2017)Product-Free Lambek Calculus Is NP-Complete.. LFCS, volume 5407 of Lecture Notes in Computer Science, page 380-394. Springer, (2009)Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract)., , , , , and . Description Logics, volume 3263 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)ESPRESSO: A Framework for Empowering Search on Decentralized Web., , , , , , and . WISE, volume 14306 of Lecture Notes in Computer Science, page 360-375. Springer, (2023)