Browse by Journal and Volume
 | Up a level |
Number of items: 1.
Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
Artale, A. and Kontchakov, Roman and Kovtunova, A. and Ryzhikov, Vladislav and Wolter, F. and Zakhariyashchev, Michael (2021) First-order rewritability of ontology-mediated queries in linear temporal logic. Artificial Intelligence 299 , ISSN 0004-3702.