 | Up a level |
Number of items: 2.
Fortin, M, Konev, B 
ORCID: 0000-0002-6507-0494, Ryzhikov, V, Savateev, Y, Wolter, F and Zakharyaschev, M
(2023)
Reverse Engineering of Temporal Queries Mediated by LTL Ontologies.
.
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.
.