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


Dive into the research topics of 'Automated deployment of argumentation protocols'. Together they form a unique fingerprint.

Cite this