The DIAMOND System for Computing with Abstract Dialectical Frameworks.
Complex Optimization in Answer Set Programming