Browse by Journal and Volume

Group by: Author(s) | Date | School | No Grouping

Jump to: 13 March 2023

Number of items: 1.

13 March 2023

Kurucz, A. and Ryzhikov, Vladislav and Savateev, Yury and Zakhariyashchev, Michael (2023) Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. Journal of Artificial Intelligence Research 76 , ISSN 1076-9757.

This list was generated on Sun Dec 22 02:30:23 2024 GMT.