 | Up a level |
Number of items: 1.
Fortin, M, Konev, B 
ORCID: 0000-0002-6507-0494, Ryzhikov, V, Savateev, Y, Wolter, F and Zakharyaschev, M
(2022)
Reverse Engineering of Temporal Queries with and without LTL Ontologies: First Steps.
.