hackage.haskell.org "argumentation" keyword
CarneadesDSL 2.0.0.0
An implementation and domain specific language for the Carneades argumentation model. See "Haskel...7 versions - Latest release: 2 months ago - 1 dependent repositories - 6.05 thousand downloads total - 2 stars on GitHub - 1 maintainer
Dung 2.0.0.0
An implementation of Dung's argumentation frameworks, an abstract argumentation model used to eit...5 versions - Latest release: 2 months ago - 1 dependent repositories - 4.14 thousand downloads total - 1 maintainer
CarneadesIntoDung 2.0.0.0
A translation from the Carneades argumentation model (http://hackage.haskell.org/package/Carneade...3 versions - Latest release: 2 months ago - 2.33 thousand downloads total - 1 maintainer