Design of dialogue game

Summary
Formal dialogue game specifications that describe the systems developed in T5.1. This deliverable forms the theoretical basis for the computational models developed in T5.3 and delivered in D5.3.