The DIAMOND System for Computing with Abstract Dialectical Frameworks.
answer set solving in practice .