A Formal Framework Supporting the Specification of the Interactions Between Agents. IJCAI 31 (3).