The Dung package

[ Tags: ai, argumentation, bsd3, embedded, library, program ] [ Propose Tags ]

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 paper accompanying this library see "Towards a framework for the implementation and verification of translations between argumentation models" available at


Versions 0.9, 1.0,, 1.1
Dependencies base (==4.*), containers (>=0.3 && <0.6) [details]
License BSD3
Copyright Copyright (C) 2013 Bas van Gijzel
Author Bas van Gijzel
Maintainer Bas van Gijzel <>
Category Argumentation, Embedded, AI
Home page
Uploaded Thu Jun 20 16:25:02 UTC 2013 by BasVanGijzel
Distributions NixOS:1.1
Downloads 1843 total (294 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs uploaded by user
Build status unknown [no reports yet]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees