Instructions for installing the command line application for ICCMA'15 for Dung's argumentation frameworks (AFs)


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 dependencies using cabal, or when you prefer a local install, choose Option 2 to install the implementation locally in a sandbox (this requires a recent version of GHC).


3. Using the implementation

For definitions, explanations, and examples of the accompanying library implementing Dung's argumentation frameworks, see the accompanying website.

For a short description of the Dungell application see the system description submitted to ICCMA'15.

For a description of the command line interface, see the Probo documentation as provided by International Competition on Computational Models of Argumentation (ICCMA'15).


4. Formalisation of Dung's AFs in Agda

We have also formalised Dung's AFs up to grounded semantics into the Agda theorem prover.
See the Agda source file here. Enable Unicode in your editor/browser!


5. Translating a Carneades Argument Evaluation Structure (CAES)

Carneades Argument Evaluation Structures written in the CarneadesDSL package can now be translated directly into our implementation of Dung's argumentation frameworks by using our translation package CarneadesIntoDung.


6. Public repository

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


7. References


8. 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: 4th May, 2015