Instructions/implementation web page accompanying: A principled approach to the implementation of argumentation models (COMMA 2014)


1. Dung's argumentation frameworks in Haskell

For our implementation of Dung's argumentation frameworks, see our Dung package.


2. Carneades argumentation model in Haskell

For our implementation of the Carneades argumentation model, see our CarneadesDSL package.


3. Translation of the Carneades argumentation model into Dung's AFs in Haskell

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.


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. Using the implementations/formalisation

For definitions, explanations, and examples of the implementations and formalisation see the accompanying papers: Towards a framework for the implementation and verification of translations between argumentation models and A principled approach to the implementation of argumentation models.

For further extensive documentation and examples, follow the links in the previous sections.


6. Public repository

All packages are also 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: 7th September, 2014