-
LOGIC-IN
-
Research
-
Knowledge-Based Systems
Publikationen
tion and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018 . CEUR-WS.org. URL Jean Christoph Jung, Carsten Lutz, Mauricio Martel, & Thomas Schneider (2018). Querying the Unary Negation [...] Theory, ICDT 2018, March 26-29, 2018, Vienna, Austria (pp. 15:1–15:18). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. DOI Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Leif Sabellek (2018). Reverse [...] Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden (pp. 1847–1853). ijcai.org. DOI Víctor Gutiérrez-Basulto, Jean Christoph Jung, & Ondrej Kuzelka (2018). Quantified Markov Logic Networks …