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.
|Title of host publication||Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012|
|Editors||Bart Verheij, Stefan Szeider, Stefan Woltran|
|Number of pages||8|
|Publication status||Published - 2012|
|Name||Frontiers in Artificial Intelligence and Applications|