Search
 
loader loading subjects...
cover
Automated Deployment of Argumentation Protocols
Ashwag Maghraby, Dave Robertson, Adela Grando, Michael Rovatsos
197 - 204
10.3233/978-1-61499-111-3-197
Frontiers in Artificial Intelligence and Applications
Volume 245: Computational Models of Argument
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.

$35.00 / €27.50 / £22.00
Add PDF to cart