-
LOGIC-IN
-
Research
-
Knowledge-Based Systems
Publikationen
Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024 . URL Jean Christoph Jung, Vladislav Ryzhikov, Frank Wolter, & Michael Zakharyaschev (2024). Extremal [...] Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orleans, Louisiana [...] Languages, and Programming - 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II (pp. 256–267). Springer. DOI Víctor Gutiérrez-Basulto, Jean Christoph …