Expressing Collaborative and Competitive Coordination among Abductive Agents: ALIAS framework and LAILA language