Progress in Artificial Intelligence : Knowledge Extraction, Multi-Agent Systems, Logic Programming, and Constraint Solving