The Dung package

[Tags:bsd3, library, program]

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


Versions 0.9, 1.0,, 1.1
Change log CHANGELOG
Dependencies base (==4.*), cmdargs (>=0.10.2), containers (>=0.3 && <0.6), parsec (>=3) [details]
License BSD3
Copyright Copyright (C) 2014 Bas van Gijzel
Author Bas van Gijzel
Maintainer Bas van Gijzel <>
Stability experimental
Category Argumentation, Embedded, AI
Home page
Source repository head: git clone
Uploaded Mon Mar 30 13:39:58 UTC 2015 by BasVanGijzel
Distributions NixOS:1.1
Downloads 1102 total (5 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2015-03-30 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees