Computing Semi-Stable Semantics of AF by 0-1 Integer Programming.
Mauricio Osorio, Juan A. Dı́az, Alejandro Santoyo · 2014
Abstract. 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 ab-stract argumentation has focused on finding new methods for comput-ing its different semantics. We present a novel method, to the best of our knowledge, for computing semi-stable semantics using 0-1 integer programming, and also experimentally compare it with an answer set programming approach. Our results indicate that this new method per-formed well, and it has a great opportunity space for improving.