The Dung package


An implementation of Dung's argumentation frameworks, an abstract argumentation model used to either directly represent conflicting information, or used as a translation target for more complex (structured) argumentation models. For an introduction to Dung's frameworks see and Dung's paper from 1995: "On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming, and n-person games", Artificial Intelligence 77: 321-357. For the papers accompanying this library see "Towards a framework for the implementation and verification of translations between argumentation models" and "A principled approach to the implementation of argumentation models", available at


Versions0.9, 1.0,,, 1.1
Dependenciesbase (==4.*), cmdargs (>=0.10.2), containers (>=0.3 && <0.6), parsec (>=3) [details]
CopyrightCopyright (C) 2014 Bas van Gijzel
AuthorBas van Gijzel
MaintainerBas van Gijzel <>
CategoryArgumentation, Embedded, AI
Home page
Source repositoryhead: git clone
UploadedSat May 3 21:46:28 UTC 2014 by BasVanGijzel



Maintainers' corner

For package maintainers and hackage trustees