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

Details
Bibtex

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:Further Information: Link
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@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},
  doi       = {10.48550/arXiv.1312.6140}
}