Computational logic in multi-agent systems by João Leite | Menrva Books | MenrvaBooks