KI 2017: advances in artificial intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017 : proceedings - Kern-Isberner, Gabriele 1956-; Fürnkranz, Johannes; Thimm, Matthias (Springer, 2017)
Keywords: Computer science; Computer communication systems; Special purpose computers; Algorithms; Mathematical logic; Artificial intelligence; Application software; Computer Science; Artificial Intelligence (incl. Robotics); Algorithm Analysis and Problem Complexity; Mathematical Logic and Formal Languages; Computer Communication Networks; Special Purpose and Application-Based Systems; Computer Appl. in Administrative Data Processing; Informatik; Künstliche Intelligenz; Konferenzschrift -- 2017 -- Dortmund