Automated Deployment of Argumentation Protocols

Ashwag Maghraby; David Robertson; Adela Grando; Michael Rovatsos

doi:10.3233/978-1-61499-111-3-197

Automated Deployment of Argumentation Protocols

Ashwag Maghraby, David Robertson, Adela Grando, Michael Rovatsos

School of Informatics

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012
Editors	Bart Verheij, Stefan Szeider, Stefan Woltran
Publisher	IOS Press
Pages	197-204
Number of pages	8
DOIs	https://doi.org/10.3233/978-1-61499-111-3-197
Publication status	Published - 2012

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Publisher	IOS Press

Access to Document

10.3233/978-1-61499-111-3-197

http://ebooks.iospress.nl/publication/7434

Cite this

Maghraby, A., Robertson, D., Grando, A., & Rovatsos, M. (2012). Automated Deployment of Argumentation Protocols. In B. Verheij, S. Szeider, & S. Woltran (Eds.), Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012 (pp. 197-204). (Frontiers in Artificial Intelligence and Applications). IOS Press. https://doi.org/10.3233/978-1-61499-111-3-197

@inproceedings{ae139cd8c2c54b9ab1c0f675623adc81,

title = "Automated Deployment of Argumentation Protocols",

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.",

author = "Ashwag Maghraby and David Robertson and Adela Grando and Michael Rovatsos",

year = "2012",

doi = "10.3233/978-1-61499-111-3-197",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "197--204",

editor = "Bart Verheij and Stefan Szeider and Stefan Woltran",

booktitle = "Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012",

}

Maghraby, A, Robertson, D, Grando, A & Rovatsos, M 2012, Automated Deployment of Argumentation Protocols. in B Verheij, S Szeider & S Woltran (eds), Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012. Frontiers in Artificial Intelligence and Applications, IOS Press, pp. 197-204. https://doi.org/10.3233/978-1-61499-111-3-197

Automated Deployment of Argumentation Protocols. / Maghraby, Ashwag; Robertson, David; Grando, Adela et al.
Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012. ed. / Bart Verheij; Stefan Szeider; Stefan Woltran. IOS Press, 2012. p. 197-204 (Frontiers in Artificial Intelligence and Applications).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Automated Deployment of Argumentation Protocols

AU - Maghraby, Ashwag

AU - Robertson, David

AU - Grando, Adela

AU - Rovatsos, Michael

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

U2 - 10.3233/978-1-61499-111-3-197

DO - 10.3233/978-1-61499-111-3-197

M3 - Conference contribution

T3 - Frontiers in Artificial Intelligence and Applications

SP - 197

EP - 204

BT - Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012

A2 - Verheij, Bart

A2 - Szeider, Stefan

A2 - Woltran, Stefan

PB - IOS Press

ER -

Automated Deployment of Argumentation Protocols

Abstract / Description of output

Publication series

Access to Document

Fingerprint

Cite this