Progress in artificial intelligence : 13th Portuguese Conference on Artificial Intelligence, EPIA 2007, Workshops : GAIW, AIASTS, ALEA, AMITA, BAOSW BI, CMBSB, IROBOT, MASTA, STCS, and TEMA Guimarães, Portugal, December 3-7, 2007 : proceedings