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

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.

Original languageEnglish (US)
Title of host publicationComputational Models of Argument - Proceedings of COMMA 2012
PublisherIOS Press
Pages197-204
Number of pages8
Edition1
ISBN (Print)9781614991106
DOIs
StatePublished - 2012
Externally publishedYes

Publication series

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

    Fingerprint

Keywords

  • 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. https://doi.org/10.3233/978-1-61499-111-3-197