Computational Logic In Multi-Agent Systems door Jo O. Leite