-
LOGIC-IN
-
Research
-
Knowledge-Based Systems
Publikationen
Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025 . CEUR-WS.org. DOI Jean Christoph Jung, Jedrzej Kolodziejski, & Frank Wolter (2025). Computation [...] Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025 . CEUR-WS.org. DOI Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, & Michael Zakharyaschev [...] Proceedings of the 38th International Workshop on Description Logics - DL 2025, Opole, Poland, September 3-6, 2025 . CEUR-WS.org. DOI Maurice Funk, Jean Christoph Jung, & Tom Voellmer (2025). SAT-Based Bounded …