@hackage CarneadesDSL1.3

An implementation and DSL for the Carneades argumentation model.

Categories
- Systems Programming
License
BSD-3-Clause
Maintainer
Bas van Gijzel <bmv@cs.nott.ac.uk>
Links
Versions
- 1.3 Thu, 1 May 2014
- 1.2 Tue, 12 Nov 2013
- 1.1.0.1 Thu, 21 Feb 2013
- 1.1 Wed, 20 Feb 2013
- 1.0 Fri, 23 Nov 2012
- 0.9 Fri, 26 Oct 2012

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- containers >=0.3 && <0.6
- parsec >=3
- fgl >=5.4.2.4
Dependents (2)
@hackage/CarneadesIntoDung, @hackage/acme-everything

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.

@hackage CarneadesDSL1.3

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (4)

Dependents (2)