Automated Deployment of Argumentation Protocols
Ashwag Maghraby, Robertson Dave, Adela Grando, Michael Rovatsos · Frontiers in artificial intelligence and applications · 2012
The objective of this paper is to try to fill the gap between: argumentation, 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 language and the Lightweight Coordination Calculus as an implementation language.