Multi-Agent Systems. Theories, Languages and Applications