Computational Logic in Multi-Agent Systems by J. Dix | Menrva Books | MenrvaBooks