Browse by Journal and Volume

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

Jump to: K

Number of items: 1.

K

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 Sat Dec 21 02:29:53 2024 GMT.