A translation from the Carneades argumentation model into Dung's AFs. http://www.cs.nott.ac.uk/~bmv/CarneadesIntoDung/
|Latest on Hackage:||1.0|
This package is not currently in any snapshots. If you're interested in using it, we recommend adding it to Stackage Nightly. Doing so will make builds more reliable, and allow stackage.org to host generated Haddocks.
A translation from the Carneades argumentation model (http://hackage.haskell.org/package/CarneadesDSL) into Dung's argumentation frameworks (http://hackage.haskell.org/package/Dung). This package provides a translation function and correspondence properties. For the papers accompanying this library see "Towards a framework for the implementation and verification of translations between argumentation models" and "A principled approach to the implementation of argumentation models", available at http://www.cs.nott.ac.uk/~bmv/CarneadesIntoDung/.
This package version is updated with a command line utility.
* Make use of the CarneadesDSL Input and Dung Output modules to provide a
command line interface reading a Carneades Argument Evaluation Structure
and possible give the evaluation result or output in CEGARTIX format.