-
LOGIC-IN
-
Forschung
-
Knowledge-Based Systems
Publikationen
The Complexity of Decomposing Modal and First-Order Theories . ACM Trans. Comput. Log., 16 (1), 9:1–9:43. DOI Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Thomas Schneider (2015). The Complexity of [...] International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024 (pp. 3448–3456). ijcai.org. DOI Jean Christoph Jung, & Jedrzej Kolodziejski (2024). Modal Separability [...] Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021 (pp. 6193–6201). AAAI Press. URL Maurice Funk, Jean Christoph Jung, & Carsten Lutz (2021). Actively …