Instructions for installing the Haskell implementation of the translation from Carneades into Dung's argumentation frameworks



1. Installing Haskell

To install the Haskell platform and get familiar with basic Haskell see Haskell in 5 steps or directly download and install the Haskell Platform.


2. Download and install the implementation

If familiar with cabal and standard Haskell library installations, Option 1 is advised.

If having problems with installing using cabal, choose Option 2 to install the implementation of the translation.


3. Using the implementation

For definitions, explanations, and examples of the translation of Carneades into Dung's argumentation frameworks and its implementation see the accompanying paper Towards a framework for the implementation and verification of translations between argumentation models.

There is also extensive documentation and examples available (with source code) on Hackage as the CarneadesIntoDung Cabal package, in specific the examples file. Alternatively consult the literate Haskell paper source here.


4. Carneades argumentation model and Dung's argumentation frameworks

For the Carneades argumentation model and our implementation, see the CarneadesDSL package. For our implementation of Dung's argumentation frameworks see our Dung package.


5. Public repository

This package is now also available on GitHub. Patches and suggestions are more than welcome!


6. References


7. Questions or comments

If you have any questions or feedback please do send an email to bmv AT cs DOT nott DOT ac DOT uk.






Last update: 19th June, 2014