KI 2014: Advances in Artificial Intelligence - Lutz; Thielscher, Michael (Springer International Publishing, 2014)