DIAMOND 3.0 – A Native C++ Implementation of DIAMOND

Stefan Ellmauthaler, Strass Hannes · Frontiers in artificial intelligence and applications · 2016

We present a reimplementation of the DIAMOND system for computing with abstract dialectical frameworks. The original DIAMOND was a script-based tool that called an external ASP solver. This reimplementation uses the clingo library in a native C++ environment and thus avoids communication overhead.

Read the paper · More papers on PaperTik