-
LOGIC-IN
-
Research
-
Knowledge-Based Systems
Publikationen
Publikationen 2025 Maurice Funk, Jean Christoph Jung, & Tom Voellmer (2025). SAT-Based Bounded Fitting for the Description Logic ALC . In The Semantic Web - ISWC 2025 - 24th International Semantic Web [...] l Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025 . CEUR-WS.org. URL Jean Christoph Jung, Jedrzej Kolodziejski, & Frank Wolter (2025). Computation of Interpolants for Description [...] Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025 . CEUR-WS.org. URL Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, & Michael Zakharyaschev (2025). Containment of Conjunctive …