CL-2000 Workshop on Computational Logic in Multi-Agent Systems