-
LOGIC-IN
-
Research
-
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 [...] AAAI-25, Sponsored by the Association for the Advancement of Artificial Intelligence, February 25 - March 4, 2025, Philadelphia, PA, USA (pp. 15221–15229). AAAI Press. DOI 2024 Jean Christoph Jung, Vladislav [...] Queries. In NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings (pp. 314–321). Springer. DOI Lukas Westhofen, Christian Neurohr, Jean Christoph …