name: CarneadesIntoDung
category: Argumentation, Embedded, AI
version: 1.0
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) 2014 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. 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/>.
build-type: Simple
Extra-Source-Files:
CHANGELOG
examplecaes.txt
Library
build-depends:
base >= 4 && < 5,
containers >= 0.3 && < 0.6,
fgl >= 5.4.2.4,
cmdargs >= 0.10.2,
CarneadesDSL >= 1.3,
Dung >= 1.0.0.1
hs-source-dirs:
src
exposed-modules:
Language.CarneadesIntoDung.Translation
Language.CarneadesIntoDung.Examples
Executable caell
main-Is: Main.hs
hs-source-dirs: src
source-repository head
Type: git
Location: https://github.com/nebasuke/CarneadesIntoDung