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