Computational logic in multi-agent systems | MenrvaBooks