Dung: An implementation of the Dung argumentation frameworks.

[ 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 http://en.wikipedia.org/wiki/Argumentation_framework 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 http://www.cs.nott.ac.uk/~bmv/Dung/.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS] 0.9, 1.0,, 1.1
Change log CHANGELOG
Dependencies base (>=4 && <5), cmdargs (>=0.10.2), containers (>=0.3 && <0.6), parsec (>=3) [details]
License BSD-3-Clause
Copyright Copyright (C) 2014 Bas van Gijzel
Author Bas van Gijzel
Maintainer Bas van Gijzel <bmv@cs.nott.ac.uk>
Category Argumentation, Embedded, AI
Home page http://www.cs.nott.ac.uk/~bmv/Dung/
Source repo head: git clone https://github.com/nebasuke/Dung
Uploaded by BasVanGijzel at 2015-03-30T13:39:58Z
Reverse Dependencies 2 direct, 0 indirect [details]
Executables dungell
Downloads 3930 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-03-30 [all 1 reports]