Bridging the specification protocol gap in argumentation

This thesis proposes a means of moving rapidly from argument specification to protocol implementation using an extension of the Argument Interchange Format called a Dialogue Interaction Diagram (DID) as the dialogue game specification language and the Lightweight Coordination Calculus (LCC) as an implementation language.