KI 2017: Advances in Artificial Intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings - Kern-Isberner, Gabriele; Fürnkranz, Johannes; Thimm, Matthias; SpringerLink (Online service) (Cham : Springer International Publishing : Imprint: Springer, 2017)
Agents -- Robotics -- Cognitive Sciences -- Machine learning -- Planning -- Knowledge representation -- Reasoning, and Ontologies.
Keywords: Artificial intelligence; Algorithms; Mathematical logic; Computer communication systems; Special purpose computers; Application software; Artificial Intelligence; 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