From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.

M. Fortin, B. Konev, V. Ryzhikov, Y. Savateev, F. Wolter, и M. Zakharyaschev. IJCAI, стр. 3230-3238. ijcai.org, (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.

Ruslan Yuryev

Yury Postnikov

Yury Markovskiy

Yury Valdau

Yury Lebedev

Другие публикации лиц с тем же именем

Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic.A. Kurucz, V. Ryzhikov, Y. Savateev, и M. Zakharyaschev. J. Artif. Intell. Res., (2023)Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs.Y. Savateev, и D. Shamkanov. WoLLIC, том 11541 из Lecture Notes in Computer Science, стр. 569-583. Springer, (2019)The 1st Workshop on Decentralised Search and Recommendation.M. Ragab, Y. Savateev, W. Wang, R. Moosaei, T. Tiropanis, A. Poulovassilis, A. Chapman, H. Oliver, и G. Roussos. WWW (Companion Volume), стр. 1705-1708. ACM, (2024)Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs.Y. Savateev, и D. Shamkanov. WoLLIC, том 10388 из Lecture Notes in Computer Science, стр. 321-335. Springer, (2017)Product-Free Lambek Calculus Is NP-Complete.Y. Savateev. LFCS, том 5407 из Lecture Notes in Computer Science, стр. 380-394. Springer, (2009)Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps (Extended Abstract).M. Fortin, B. Konev, V. Ryzhikov, Y. Savateev, F. Wolter, и M. Zakharyaschev. Description Logics, том 3263 из CEUR Workshop Proceedings, CEUR-WS.org, (2022)Deciding FO-rewritability of regular languages and ontology-mediated queries in Linear Temporal Logic.A. Kurucz, V. Ryzhikov, Y. Savateev, и M. Zakharyaschev. CoRR, (2022)Unique Characterisability and Learnability of Temporal Instance Queries.M. Fortin, B. Konev, V. Ryzhikov, Y. Savateev, F. Wolter, и M. Zakharyaschev. KR, (2022)Decentralized Search over Personal Online Datastores: Architecture and Performance Evaluation.M. Ragab, Y. Savateev, H. Oliver, T. Tiropanis, A. Poulovassilis, A. Chapman, R. Taelman, и G. Roussos. ICWE, том 14629 из Lecture Notes in Computer Science, стр. 49-64. Springer, (2024)Lambek Grammars with One Division Are Decidable in Polynomial Time.Y. Savateev. CSR, том 5010 из Lecture Notes in Computer Science, стр. 273-282. Springer, (2008)

BibSonomy

Disambiguation