The DIAMOND System for Computing with Abstract Dialectical Frameworks

From International Center for Computational Logic

Toggle side column

The DIAMOND System for Computing with Abstract Dialectical Frameworks

Stefan EllmauthalerStefan Ellmauthaler,  Hannes StrassHannes Strass
Stefan Ellmauthaler, Hannes Strass
The DIAMOND System for Computing with Abstract Dialectical Frameworks
In Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds., 5th International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, 233-240, September 2014. IOS Press
  • KurzfassungAbstract
    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.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{ES2014,
  author    = {Stefan Ellmauthaler and Hannes Strass},
  title     = {The {DIAMOND} System for Computing with Abstract Dialectical
               Frameworks},
  editor    = {Simon Parsons and Nir Oren and Chris Reed and Federico Cerutti},
  booktitle = {5th International Conference on Computational Models of Argument
               (COMMA 2014)},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {266},
  publisher = {IOS Press},
  year      = {2014},
  month     = {September},
  pages     = {233-240},
  doi       = {10.3233/978-1-61499-436-7-233}
}