An implementation and DSL for the Carneades argumentation model.

Latest on Hackage:1.3

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 to host generated Haddocks.

BSD3 licensed by Bas van Gijzel, Henrik Nilsson
Maintained by Bas van Gijzel

An implementation and domain specific language for the Carneades argumentation model. See "Haskell Gets Argumentative" in the Proceedings of Symposium on Trends in Functional Programming (TFP 2012) by Bas van Gijzel and Henrik Nilsson or the package's homepage. Thanks to Stefan Sabev for providing initial code for the cyclicity check.


1.2 => 1.3
This package has been extended and now includes:

* An Input module, allowing files to be parsed.

* An example of the usage of this module. => 1.2
This package version is now compatible with the translation package CarneadesIntoDung.

* Change the use of proof standards to rely on the definition of |PSName|
to allow for an easier translation.

* Fix the definition of applicability to include all three conditions.
Depends on:
Used by 1 package:
comments powered byDisqus