Automated Deployment of Argumentation Protocols

Ashwag Maghraby, David Robertson, Adela Grando, Michael Rovatsos

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

Abstract / Description of output

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.
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
Number of pages8
Publication statusPublished - 2012

Publication series

NameFrontiers in Artificial Intelligence and Applications
PublisherIOS Press


Dive into the research topics of 'Automated Deployment of Argumentation Protocols'. Together they form a unique fingerprint.

Cite this