Up a level |
Number of items: 1.
Artale, Alessandro, Jung, Jean Christoph, Mazzullo, Andrea, Ozaki, Ana and Wolter, Frank ORCID: 0000-0002-4470-606X
(2023)
Living Without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role Inclusions.
ACM Transactions on Computational Logic, 24 (4).
pp. 1-51.