A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is
In this paper, we propose a logic of argumentation for the specification and verification (LA4SV) of requirements on Dung's abstract argumentation frameworks. We distinguish three kinds of decision problems for argumentation verification, called extension verification, framework verification, and specification verification respectively. For example, given a political requirement like "if the argument to increase taxes is accepted, then the argument to increase services must be accepted too," wedoi:10.1007/s10472-012-9318-6 fatcat:se57gpz6dfgvlmkvuwljsbtmma