Dung: An implementation of the Dung argumentation frameworks.
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/.
Modules
[Index]
Downloads
- Dung-1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.9, 1.0, 1.0.0.1, 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 |
Distributions | |
Reverse Dependencies | 2 direct, 0 indirect [details] |
Executables | dungell |
Downloads | 3973 total (7 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] |