Automated Deployment of Argumentation Protocols

The objective of this paper is to try to fill the gap between: argumenta- tion, electronic institutions and protocols by using a combination of automated synthesis and model checking methods. More precisely, this paper proposes a means of moving rapidly from argument specification to protocol implementation, using an extension of the Argument Interchange Format as the specification lan- guage and the Lightweight Coordination Calculus as an implementation language.