The DIAMOND system for argumentation: Preliminary report

From International Center for Computational Logic

Toggle side column

The DIAMOND system for argumentation: Preliminary report

Stefan EllmauthalerStefan Ellmauthaler,  Hannes StrassHannes Strass
Stefan Ellmauthaler, Hannes Strass
The DIAMOND system for argumentation: Preliminary report
In Michael Fink, Yuliya Lierler, eds., Proceedings of the 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), September 2013. CoRR
  • KurzfassungAbstract
    Abstract dialectical frameworks (ADFs) are a powerful generalisation of Dung's abstract argumentation frameworks. In this paper we present an answer set programming based software system, called DIAMOND (DIAlectical MOdels eNcoDing). It translates ADFs into answer set programs whose stable models correspond to models of the ADF with respect to several semantics (i.e. admissible, complete, stable, grounded).
  • Weitere Informationen unter:Other info: Link
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
@inproceedings{ES2013,
  author    = {Stefan Ellmauthaler and Hannes Strass},
  title     = {The {DIAMOND} system for argumentation: Preliminary report},
  editor    = {Michael Fink and Yuliya Lierler},
  booktitle = {Proceedings of the 6th International Workshop on Answer Set
               Programming and Other Computing Paradigms (ASPOCP 2013)},
  publisher = {CoRR},
  year      = {2013},
  month     = {September}
}