Progress in artificial intelligence : proceedings - Bento, Carlos (Springer, 2005)