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 (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/.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

Versions [RSS] 0.9, 1.0
Change log CHANGELOG
Dependencies base (>=4 && <5), CarneadesDSL (>=1.3), cmdargs (>=0.10.2), containers (>=0.3 && <0.6), Dung (>=1.0.0.1), fgl (>=5.4.2.4) [details]
License BSD-3-Clause
Copyright Copyright (C) 2014 Bas van Gijzel
Author Bas van Gijzel, Henrik Nilsson
Maintainer Bas van Gijzel <bmv@cs.nott.ac.uk>
Category Argumentation, Embedded, AI
Home page http://www.cs.nott.ac.uk/~bmv/CarneadesIntoDung/
Source repo head: git clone https://github.com/nebasuke/CarneadesIntoDung
Uploaded by BasVanGijzel at 2014-05-03T21:52:35Z
Distributions
Reverse Dependencies 1 direct, 0 indirect [details]
Executables caell
Downloads 2212 total (7 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Successful builds reported [all 1 reports]