The DIAMOND System for Computing with Abstract Dialectical Frameworks
Stefan Ellmauthaler, Hannes Straß · Frontiers in artificial intelligence and applications · 2014
We present DIAMOND, an implementation of Brewka and Woltran's abstract dialectical frameworks (ADFs). The system uses answer set programming encodings to compute interpretations of ADFs according to various semantics. We evaluate the performance of the system using an actual reasoning problem as opposed to using randomly generated frameworks.