Artificial Intelligence XXXV - Bramer; Miltos Petridis; Petridis, Miltos (Springer International Publishing, 2018)