Automated deployment of argumentation protocols

Ashwag Maghraby; Dave Robertson; Adela Grando; Michael Rovatsos

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

Automated deployment of argumentation protocols

Ashwag Maghraby, Dave Robertson, Adela Grando, Michael Rovatsos

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English (US)
Title of host publication	Computational Models of Argument - Proceedings of COMMA 2012
Publisher	IOS Press
Pages	197-204
Number of pages	8
Edition	1
ISBN (Print)	9781614991106
DOIs	https://doi.org/10.3233/978-1-61499-111-3-197
State	Published - 2012
Externally published	Yes

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Number	1
Volume	245
ISSN (Print)	0922-6389

Keywords

Argumentation
Automated Synthesis
Dialogue Games
Interaction models
Model Checking
Verification

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

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

Cite this

@inproceedings{362856ecd9b8431886dc86f3068d3724,

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

keywords = "Argumentation, Automated Synthesis, Dialogue Games, Interaction models, Model Checking, Verification",

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

year = "2012",

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

language = "English (US)",

isbn = "9781614991106",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

number = "1",

pages = "197--204",

booktitle = "Computational Models of Argument - Proceedings of COMMA 2012",

edition = "1",

}

TY - GEN

T1 - Automated deployment of argumentation protocols

AU - Maghraby, Ashwag

AU - Robertson, Dave

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.

KW - Argumentation

KW - Automated Synthesis

KW - Dialogue Games

KW - Interaction models

KW - Model Checking

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=84876225199&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84876225199&partnerID=8YFLogxK

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

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

M3 - Conference contribution

AN - SCOPUS:84876225199

SN - 9781614991106

T3 - Frontiers in Artificial Intelligence and Applications

SP - 197

EP - 204

BT - Computational Models of Argument - Proceedings of COMMA 2012

PB - IOS Press

ER -

Automated deployment of argumentation protocols

Abstract

Publication series

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this