The DIAMOND System for Argumentation: Preliminary Report
Artificial Intelligence
2013-12-24 v1
Abstract
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).
Cite
@article{arxiv.1312.6140,
title = {The DIAMOND System for Argumentation: Preliminary Report},
author = {Stefan Ellmauthaler and Hannes Strass},
journal= {arXiv preprint arXiv:1312.6140},
year = {2013}
}
Comments
Proceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, Turkey