The CarneadesIntoDung package

[maintain]

A translation from the Carneades argumentation model (http:hackage.haskell.orgpackageCarneadesDSL) into Dung's argumentation frameworks (http:hackage.haskell.orgpackageDung). 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.


Properties

Versions0.9, 0.9, 1.0
Dependenciesbase (==4.*), CarneadesDSL (>=1.2), containers (>=0.3 && <0.6), Dung (>=0.9), fgl (>=5.4.2.4 && <5.5)
LicenseBSD3
CopyrightCopyright (C) 2013 Bas van Gijzel
AuthorBas van Gijzel, Henrik Nilsson
MaintainerBas van Gijzel <bmv@cs.nott.ac.uk>
Stabilityexperimental
CategoryArgumentation, Embedded, AI
Home pagehttp://www.cs.nott.ac.uk/~bmv/CarneadesIntoDung/
Source repositoryhead: git clone https://github.com/nebasuke/CarneadesIntoDung
UploadedWed Nov 13 02:04:43 UTC 2013 by BasVanGijzel

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees