CarneadesIntoDung: A translation from the Carneades argumentation model into Dung's AFs.

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

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

Versions [RSS] [faq] 0.9, 1.0
Change log CHANGELOG
Dependencies base (==4.*), CarneadesDSL (>=1.3), cmdargs (>=0.10.2), containers (>=0.3 && <0.6), Dung (>=, fgl (>= [details]
License BSD-3-Clause
Copyright Copyright (C) 2014 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 by BasVanGijzel at 2014-05-03T21:52:35Z
Distributions NixOS:1.0
Executables caell
Downloads 2025 total (10 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Successful builds reported [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees