name: CarneadesDSL
category: Argumentation, Embedded, AI
version: 1.2
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/CarneadesDSL/
copyright: Copyright (C) 2013 Bas van Gijzel
synopsis: An implementation and DSL for the Carneades argumentation model.
description: An implementation and domain specific language for the Carneades
argumentation model. See Haskell Gets Argumentative in the
Proceedings of Symposium on Trends in Functional Programming
(TFP 2012) by Bas van Gijzel and Henrik Nilsson or the
package's homepage. Thanks to Stefan Sabev for providing initial
code for the cyclicity check.
build-type: Simple
Extra-Source-Files:
CHANGELOG
Library
build-depends:
base >= 4 && < 5,
containers >= 0.3 && < 0.6,
fgl >= 5.4.2.4 && < 5.5
exposed-modules:
Language.Carneades.CarneadesDSL
Language.Carneades.ExampleCAES
Language.Carneades.Cyclic
source-repository head
Type: git
Location: https://github.com/nebasuke/CarneadesDSL