{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/Dung","name":"Dung","description":"An implementation of Dung's argumentation frameworks, an abstract\nargumentation model used to either directly represent conflicting\ninformation, or used as a translation target for more complex (structured)\nargumentation models. For an introduction to Dung's frameworks see\nhttp://en.wikipedia.org/wiki/Argumentation_framework and Dung's paper\nfrom 1995: \"On the acceptability of arguments and its fundamental role\nin nonmonotonic reasoning, logic programming, and n-person games\",\nArtificial Intelligence 77: 321-357.\nFor the papers accompanying this library see \"Towards a framework for\nthe implementation and verification of translations between argumentation\nmodels\" and \"A principled approach to the implementation of argumentation\nmodels\", available at https://scholar.google.com/citations?user=Xu4yjvwAAAAJ\u0026hl.","version":"2.0.0.0","softwareVersion":"2.0.0.0","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/nebasuke/Dung","issueTracker":"https://github.com/nebasuke/Dung/issues","url":"https://github.com/nebasuke/Dung","keywords":["ai","argumentation","bsd3","embedded","library","program","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"BasVanGijzel"}],"author":[{"@type":"Person","name":"BasVanGijzel"}],"copyrightHolder":[{"@type":"Person","name":"BasVanGijzel"}],"dateCreated":"2013-06-20","dateModified":"2026-02-08","datePublished":"2026-02-08","copyrightYear":2013,"downloadUrl":"https://hackage.haskell.org/package/Dung-2.0.0.0/Dung-2.0.0.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/Dung"],"https://www.w3.org/ns/activitystreams#likes":11}