Up a level |
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.
Jung, JC, Papacchini, F, Wolter, F and Zakharyaschev, M
(2019)
Model comparison games for horn description logics.
.
Jung, JC, Mazzullo, A and Wolter, F ORCID: 0000-0002-4470-606X
(2022)
More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role Inclusions.
.