Automated deployment of argumentation protocols

Ashwag Maghraby, Dave Robertson, Adela Grando, Michael Rovatsos

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

2 Scopus citations


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 (US)
Title of host publicationComputational Models of Argument - Proceedings of COMMA 2012
PublisherIOS Press
Number of pages8
ISBN (Print)9781614991106
StatePublished - 2012
Externally publishedYes

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389



  • Argumentation
  • Automated Synthesis
  • Dialogue Games
  • Interaction models
  • Model Checking
  • Verification

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

Maghraby, A., Robertson, D., Grando, A., & Rovatsos, M. (2012). Automated deployment of argumentation protocols. In Computational Models of Argument - Proceedings of COMMA 2012 (1 ed., pp. 197-204). (Frontiers in Artificial Intelligence and Applications; Vol. 245, No. 1). IOS Press.