AI 2012: Advances in Artificial Intelligence - Thielscher (Springer Berlin Heidelberg, 2012)