Artificial Intelligence XXXIV 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017, Proceedings - Bramer, Max; Petridis, Miltos (Springer International Publishing : Imprint: Springer, 2017)