The CarneadesIntoDung package

[Tags: bsd3, library, program]

A translation from the Carneades argumentation model (http://hackage.haskell.org/package/CarneadesDSL) into Dung's argumentation frameworks (http://hackage.haskell.org/package/Dung). 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 http://www.cs.nott.ac.uk/~bmv/CarneadesIntoDung/.


Properties

Versions0.9, 1.0
Dependenciesbase (==4.*), CarneadesDSL (>=1.3), cmdargs (>=0.10.2), containers (>=0.3 && <0.6), Dung (>=1.0.0.1), fgl (>=5.4.2.4)
LicenseBSD3
CopyrightCopyright (C) 2014 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
Executablescaell
Upload dateSat May 3 21:52:35 UTC 2014
Uploaded byBasVanGijzel
Downloads220 total (27 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees