Browse by Person
Up a level2023
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.
21 March 2025
Artale, 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.