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 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 paper accompanying this library see "Towards a framework for the implementation and verification of translations between argumentation models" available at http://www.cs.nott.ac.uk/~bmv/Dung/.


Properties

Versions0.9, 1.0, 1.0.0.1
Dependenciesbase (==4.*), containers (>=0.3 && <0.6)
LicenseBSD3
CopyrightCopyright (C) 2013 Bas van Gijzel
AuthorBas van Gijzel
MaintainerBas van Gijzel <bmv@cs.nott.ac.uk>
Stabilityexperimental
CategoryArgumentation, Embedded, AI
Home pagehttp://www.cs.nott.ac.uk/~bmv/Dung/
Upload dateThu Jun 20 16:25:02 UTC 2013
Uploaded byBasVanGijzel
Downloads208 total (37 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees