Formal properties of the SCIFF-AF multiagent argumentation framework

Argumentation theories have recently emerged and gained popularity in the agents community, since argumentation represents a natural and intuitive way to model non-monotonic reasoning. In a multi-agent context, argumentation has recently been proposed as a component of dialogue frameworks. However, despite the large interest in argumentation theories in multiagent domains, most proposed frameworks stay at a general though abstract level, and operational counterparts to abstract frameworks are not many. The aim of this work is to present the main formal properties of the SCIFF-AF: an operational argumentation-based multiagent dialogue framework.