Institute for Web Science and Technologies · Universität Koblenz - Landau
Institute WeST

Revisiting SAT Techniques for Abstract Argumentation

[go to overview]
Jonas Klein

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.

Video of the talk

13.08.20 - 10:15
via Big Blue Button