The CarneadesIntoDung package

[ Tags: ai, argumentation, bsd3, embedded, library, program ] [ Propose Tags ]

A translation from the Carneades argumentation model (http:/hackage.haskell.orgpackage/CarneadesDSL) into Dung's argumentation frameworks (http:/hackage.haskell.orgpackage/Dung). This package provides a translation function and correspondence properties. See "Towards a framework for the implementation and verification of translations between argumentation models" by Bas van Gijzel and Henrik Nilsson or the package's homepage.


Versions 0.9, 1.0
Dependencies base (==4.*), CarneadesDSL (>=1.2), containers (>=0.3 && <0.6), Dung (>=0.9), fgl (>= && <5.5) [details]
License BSD3
Copyright Copyright (C) 2013 Bas van Gijzel
Author Bas van Gijzel, Henrik Nilsson
Maintainer Bas van Gijzel <>
Category Argumentation, Embedded, AI
Home page
Source repo head: git clone
Uploaded Wed Nov 13 02:05:41 UTC 2013 by BasVanGijzel
Distributions NixOS:1.0
Downloads 1089 total (18 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees