The CarneadesIntoDung package

[Tags: bsd3, library, program]

A translation from the Carneades argumentation model ( into Dung's argumentation frameworks ( This package provides a translation function and correspondence properties. For the papers accompanying this library see "Towards a framework for the implementation and verification of translations between argumentation models" and "A principled approach to the implementation of argumentation models", available at


Versions0.9, 1.0
Dependenciesbase (==4.*), CarneadesDSL (>=1.3), cmdargs (>=0.10.2), containers (>=0.3 && <0.6), Dung (>=, fgl (>=
CopyrightCopyright (C) 2014 Bas van Gijzel
AuthorBas van Gijzel, Henrik Nilsson
MaintainerBas van Gijzel <>
CategoryArgumentation, Embedded, AI
Home page
Source repositoryhead: git clone
UploadedSat May 3 21:52:35 UTC 2014 by BasVanGijzel
Downloads306 total (16 in last 30 days)
StatusDocs available [build log]
Successful builds reported [all 1 reports]




Maintainers' corner

For package maintainers and hackage trustees