-
LOGIC-IN
-
Forschung
-
Knowledge-Based Systems
Publikationen
Formulae. In 42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025, March 4-7, 2025, Jena, Germany (pp. 55:1–55:20). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. PDF DOI 2024 [...] Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022 . CEUR-WS.org. URL Jean Christoph Jung, Andrea Mazzullo, & Frank Wolter (2022). More [...] Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022 . CEUR-WS.org. URL Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2022). Frontiers …