Title: Computational logic in multi-agent systems
Subjects: Computer logic, Congresses