Computational Logic In Multi-Agent Systems by