name: CarneadesIntoDung
category: Argumentation, Embedded, AI
version: 0.9
license: BSD3
cabal-version: >= 1.6
license-file: LICENSE
author: Bas van Gijzel, Henrik Nilsson
maintainer: Bas van Gijzel <bmv@cs.nott.ac.uk>
stability: experimental
homepage: http://www.cs.nott.ac.uk/~bmv/CarneadesIntoDung/
copyright: Copyright (C) 2013 Bas van Gijzel
synopsis: A translation from the Carneades argumentation model into Dung's AFs.
description: 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. 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.
build-type: Simple
Library
build-depends:
base >= 4 && < 5,
containers >= 0.3 && < 0.6,
fgl >= 5.4.2.4 && < 5.5,
CarneadesDSL >= 1.2,
Dung >= 0.9
exposed-modules:
Language.CarneadesIntoDung.Translation
Language.CarneadesIntoDung.Examples
source-repository head
Type: git
Location: https://github.com/nebasuke/CarneadesIntoDung