You may access from here the invited talk presentation slides, given by Luís Correia, from FC-UL, at the Doctoral Symposium on Artificial Intelligence, SDIA 2007.