CLIMA'02 - Computational Logic in Multi-Agent Systems