Progress in Artificial Intelligence - Antunes, Luis (Springer Berlin Heidelberg, 2011)