Up a level |
Number of items: 2.
Fortin, Marie, Konev, Boris ORCID: 0000-0002-6507-0494 and Wolter, Frank ORCID: 0000-0002-4470-606X
(2021)
Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract).
In: 34th International Workshop on Description Logics, 2021-9-19 - 2021-9-21, Bratislava.
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.
.