name: Dung category: Argumentation, Embedded, AI version: 1.0 license: BSD3 cabal-version: >= 1.6 license-file: LICENSE author: Bas van Gijzel maintainer: Bas van Gijzel stability: experimental homepage: http://www.cs.nott.ac.uk/~bmv/Dung/ copyright: Copyright (C) 2014 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 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 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 . build-type: Simple Extra-Source-Files: CHANGELOG Library build-depends: base >= 4 && < 5, containers >= 0.3 && < 0.6, cmdargs >= 0.10.2, parsec >= 3 hs-source-dirs: src exposed-modules: Language.Dung.AF Language.Dung.Examples Language.Dung.Output Language.Dung.Input Executable dungell main-Is: Main.hs hs-source-dirs: src source-repository head Type: git Location: https://github.com/nebasuke/Dung