Abstract
In this paper we show how multi-theory logic programming techniques can be profitably applied to the realization of multi-agent systems which solve complex problems. Our goal is to use logic programming as a tool to give an executable specification of a multi-agent system, obtained from a high-level informal description of the interactions among the different system components. We have implemented a planner for goods transportation as a demonstration of such an approach.