approaches are needed to facilitate the development of multi-agent systems ensuring their predictability and verifications. Moreover, formal declarative models and approaches have the potential of offering solutions satisfying the needs for specifying and design of multi-agent systems.