Revisiting SAT Techniques for Abstract Argumentation[go to overview]
We present MiniAF, a general SAT-based abstract argumentation solver that can be used with any SAT solver. We use this general solver to evaluate 12 different SAT solvers wrt. their capability of handling abstract argumentation problems. While our results show that the runtime performance of different SAT solvers are generally comparable, we also observe some statistically significant differences.
13.08.20 - 10:15
via Big Blue Button