Browse by Person
 | Up a level |
Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2023) Reverse engineering of temporal queries mediated by LTL ontologies. In: Elkind, E. (ed.) Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, pp. 3230-3238. ISBN 9781956792034.
Fortin, M. and Konev, B. and Ryzhikov, Vladislav and Savateev, Yury and Wolter, F. and Zakhariyashchev, Michael (2022) Unique characterisability and learnability of Temporal Instance Queries. In: 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, 31 Jul - 05 Aug 2022, Haifa, Israel.