-
LOGIC-IN
-
Research
-
Knowledge-Based Systems
Publikationen
(pp. 258–270). CEUR-WS.org. URL 2012 Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Carsten Lutz (2012). Complexity of Branching Temporal Description Logics. In ECAI 2012 - 20th European Conference on [...] Intelligence (PAIS-2012) System Demonstrations Track, Montpellier, France, August 27-31 , 2012 (pp. 390–395). IOS Press. DOI Stefan Göller, Jean Christoph Jung, & Markus Lohrey (2012). The Complexity of [...] Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 (pp. 325–334). IEEE Computer Society. DOI Jean Christoph Jung, & Carsten Lutz (2012). Ontology-Based Access to Probabilistic …