Progress in artificial intelligence : knowledge extraction, multi-agent systems, logic programming, and constraint solving : 10th Portugese Conference on Artificial Intelligence, EPIA 2001 : proceedings - Brazdil, Pavel, 1945-; Alípio, Jorge (Springer, 2001)