Artificial Intelligence XXXIV - Bramer; Petridis, Miltos (Springer International Publishing, 2017)