Computational logic in multi-agent systems by Katsumi Inoue | Menrva Books | MenrvaBooks