Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions

Abstract

Starting from the early days of multi-agent systems research, considerable effort has been devoted to giving formal foundations to agent technologies. Work done in this direction, based on computational logic, is an attempt to bridge an existing gap, between theoretical frameworks and their practical implementations. In the last two editions of the workshop on Computational Logic in Multi-Agent Systems, CLIMA'01 and CLIMA'02, two discussion panels have been organized, aimed at bringing researchers together and exchanging ideas on a number of topics. In this article, we elaborate on the outcome of such panels, to draw some considerations about the recent advances and future directions of Computational Logic in Multi-Agent Systems.