Up a level |
Number of items: 1.
Jung, JC, Papacchini, F ORCID: 0000-0002-0310-7378, Wolter, F and Zakharyaschev, M
(2019)
Model comparison games for horn description logics.
In: 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019-6-24 - 2019-6-27, Vancouver.