Browse by Person
Up a levelArtale, A. and Gnatenko, A. and Ryzhikov, Vladislav and Zakhariyashchev, Michael (2025) On deciding the data complexity of answering Linear Monadic Datalog Queries with LTL Operators. In: Roy, S. and Kara, A. (eds.) 28th International Conference on Database Theory (ICDT 2025). Leibniz International Proceedings in Informatics (LIPIcs) 328. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, pp. 1-19. ISBN 9783959773645.
Artale, A. and Gnatenko, A. and Ryzhikov, Vladislav and Zakhariyashchev, Michael (2023) A decidable temporal DL-Lite logic with undecidable first-order and datalog-rewritability of ontology-mediated atomic queries. In: Kutz, O. and Lutz, C. and Ozaki, A. (eds.) Proceedings of the 36th International Workshop on Description Logics (DL 2023). CEUR Workshop Proceedings 3515. CEUR.