A Labeling Based Backtracking Solver for Abstract Argumentation.

Lukas Kinder, Matthias Thimm, Bart Verheij

Browse the full COMMA paper archive.