DIAMOND 3.0 - A Native C++ Implementation of DIAMOND

Stefan EllmauthalerStefan Ellmauthaler, Hannes StrassHannes Strass

DOI Link

Stefan Ellmauthaler, Hannes Strass
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede, eds., 6th International Conference on Computational Models of Argument (COMMA 2016), volume 287 of Frontiers in Artificial Intelligence and Applications, 471-472, 2016. IOS Press

Details
Bibtex

KurzfassungAbstract
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.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{ES2016,
  author    = {Stefan Ellmauthaler and Hannes Strass},
  title     = {DIAMOND 3.0 - A Native C++ Implementation of {DIAMOND}},
  editor    = {Pietro Baroni and Thomas F. Gordon and Tatjana Scheffler and
               Manfred Stede},
  booktitle = {6th International Conference on Computational Models of Argument
               (COMMA 2016)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {287},
  publisher = {IOS Press},
  year      = {2016},
  pages     = {471-472},
  doi       = {10.3233/978-1-61499-686-6-471}
}