-
LOGIC-IN
-
Research
-
Knowledge-Based Systems
Publikationen
Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024 . URL Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, & Michael Zakharyaschev (2024). Extremal Separation Problems for [...] Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024 (pp. 3448–3456). ijcai.org. DOI Jean Christoph Jung, & Jedrzej Kolodziejski (2024). Modal Separability of Fixpoint Formulae [...] Workshop on Description Logics (DL 2024), Bergen, Norway, June 18-21, 2024 . CEUR-WS.org. URL Lukas Westhofen, Christian Neurohr, Jean Christoph Jung, & Daniel Neider (2024). Topllet: An Optimized Engine for …