-
LOGIC-IN
-
Forschung
-
Knowledge-Based Systems
Publikationen
Publikationen 2025 Lukas Westhofen, Jean Christoph Jung, & Daniel Neider (2025). Temporal Conjunctive Query Answering via Rewriting. In AAAI-25, Sponsored by the Association for the Advancement of Artificial [...] Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA (pp. 15221–15229). AAAI Press. DOI Jean Christoph Jung, & Jedrzej Kolodziejski (2025). Modal Separation of Fixpoint Formulae. In [...] 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 Jean …