-
LOGIC-IN
-
Forschung
-
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 [...] Science, STACS 2025, March 4-7, 2025, Jena, Germany (pp. 55:1–55:20). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. PDF DOI Lukas Westhofen, Jean Christoph Jung, & Daniel Neider (2025). Temporal Conjunctive [...] Web Conference, Nara, Japan, November 2-6, 2025, Proceedings, Part I (pp. 42–60). Springer. DOI Jean Christoph Jung, & Jedrzej Kolodziejski (2025). Modal Separation of Fixpoint Formulae. In 42nd International …