Progress in Artificial Intelligence. Knowledge Extraction, Multi-agent Systems, Logic Programming, and Constraint Solving: 10th Portuguese Conference ... Notes in Computer Science (2258), Band 2258)