The following publications are possibly variants of this publication:
- Living Without Beth and Craig: Definitions and Interpolants in Description Logics with Nominals and Role InclusionsAlessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter. AAAI 2021: 6193-6201 [doi]
- Living without Beth and Craig: Definitions and Interpolants in Description and Modal Logics with Nominals and Role InclusionsAlessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, Frank Wolter. tocl, 24(4), October 2023. [doi]
- Living Without Beth and Craig: Explicit Definitions and Interpolants without Beth Definability and Craig Interpolation (Abstract of Invited Talk)Frank Wolter. kr 2021: 14 [doi]
- Living without Beth and Craig: Definitions and Interpolants in the Guarded and Two-Variable FragmentsJean Christoph Jung, Frank Wolter. lics 2021: 1-14 [doi]
- Interpolants and Explicit Definitions in Horn Description Logics (Extended Abstract)Marie Fortin, Boris Konev, Frank Wolter. dlog 2021: [doi]
- More on Interpolants and Explicit Definitions for Description Logics with Nominals and/or Role InclusionsJean Christoph Jung, Andrea Mazzullo, Frank Wolter. dlog 2022: [doi]