Edinburgh Research Explorer

Automated Deployment of Argumentation Protocols

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationComputational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012
EditorsBart Verheij, Stefan Szeider, Stefan Woltran
PublisherIOS Press
Pages197-204
Number of pages8
DOIs
Publication statusPublished - 2012

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press

Abstract

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.

ID: 22939876