Computational Logic in Multi-Agent Systems, 17–18 July