Progress in Artificial Intelligence - Correia (Springer Berlin Heidelberg, 2013)