Progress in Artificial Intelligence - Correia, Luís Miguel; Reis, Lus Paulo; Cascalho, Jos Manuel (Springer Berlin Heidelberg, 2013)