KI 2013: Advances in Artificial Intelligence - Timm, Ingo J.; Thimm, Matthias; Thimm, Matthias (Springer Berlin Heidelberg, 2013)