-
LOGIC-IN
-
Research
-
Knowledge-Based Systems
Publikationen
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 Jung [...] Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I (pp. 167–187). Springer. DOI Balder ten Cate, Maurice Funk, Jean Christoph [...] Christoph Jung, & Carsten Lutz (2023). Fitting Algorithms for Conjunctive Queries . SIGMOD Rec., 52 (4), 6–18. DOI Alessandro Artale, Jean Christoph Jung, Andrea Mazzullo, Ana Ozaki, & Frank Wolter (2023). Living …