DIAMOND 3.0 - A Native C++ Implementation of DIAMOND

From International Center for Computational Logic

Toggle side column

DIAMOND 3.0 - A Native C++ Implementation of DIAMOND

Stefan EllmauthalerStefan Ellmauthaler,  Hannes StrassHannes Strass
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
  • 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}
}