Up a level |
Number of items: 1.
Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494, Ryzhikov, Vladislav, Savateev, Yury, Wolter, Frank ORCID: 0000-0002-4470-606X and Zakharyaschev, Michael
(2022)
Unique Characterisability and Learnability of Temporal Instance Queries.
In: 19th International Conference on Principles of Knowledge Representation and Reasoning {KR-2022}, 2022-7-31 - 2022-8-5.