Skip to content
An implementation of Dung's argumentation frameworks
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src
.gitattributes Initial commit Nov 13, 2013
.gitignore New version of Dung Cabal package Apr 17, 2014
CHANGELOG Significant extension (now version 1.1) Mar 30, 2015
Dung.cabal Significant extension (now version 1.1) Mar 30, 2015
LICENSE Significant extension (now version 1.1) Mar 30, 2015
README.txt
Setup.hs Initial version of the Dung package Nov 13, 2013
dungex.txt Added small fix and example file Sep 11, 2014
exampleaf.txt

README.txt

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/.
You can’t perform that action at this time.