Computing stable semantics of AF by 0–1 integer programming

Dung´s abstract argumentation frameworks has been object of intense study not just for its relationship with logical reasoning but also for its uses within artificial intelligence. One research branch in abstract argumentation has focused on finding new methods for computing its different semantics. We conducted a performance comparison, computing stable semantics of argumentation frameworks, between two answer set approaches and a third one based on 0-1 integer programming using instances from the ASPARTIX project. To this end, it was developed a 0-1 integer program for computing the stable semantics. This work presents the results of the experiment, the 0-1 integer model and explains it in terms of Dung´s abstract argumentation notions, such as conflict-freeness, admissibility, etc.