name:          Dung
category:      Argumentation, Embedded, AI
version:       0.9
license:       BSD3
cabal-version: >= 1.2
license-file:  LICENSE
author:        Bas van Gijzel
maintainer:    Bas van Gijzel <bmv@cs.nott.ac.uk>
stability:     experimental
homepage:      http://www.cs.nott.ac.uk/~bmv/Dung/
copyright:     Copyright (C) 2013 Bas van Gijzel
synopsis:      An implementation of the Dung argumentation frameworks.
description:   An implementation of Dung's argumentation frameworks, an abstract argumentation model used to either directly represent conflicting information, or used as
               a translation target for more complex (structured) argumentation models. For an introduction to Dung's frameworks see 
               <http://en.wikipedia.org/wiki/Argumentation_framework> and Dung's paper from 1995: \"On the acceptability of arguments and its fundamental role
               in nonmonotonic reasoning, logic programming, and n-person games\", Artificial Intelligence 77: 321-357.
               For the paper accompanying this library see \"Towards a framework for the implementation and verification of translations between argumentation
               models\" available at <http://www.cs.nott.ac.uk/~bmv/Dung/>.

build-type:    Simple

Library
  build-depends:
    base                   >= 4        && < 5,
    containers             >= 0.3      && < 0.6

  exposed-modules:
    Language.Dung.AF
    Language.Dung.Examples