Title: Computational logic in multi-agent systems
Subjects: Intelligent agents (Computer software), Computer logic, Congresses, Logic, symbolic and mathematical