CarneadesDSL

An implementation and DSL for the Carneades argumentation model.

http://www.cs.nott.ac.uk/~bmv/CarneadesDSL/

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

BSD-3-Clause 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.