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 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