GitHub - nebasuke/CarneadesIntoDung: A translation from the Carneades argumentation model into Dung's argumentation frameworks

nebasuke / CarneadesIntoDung Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A translation from the Carneades argumentation model into Dung's argumentation frameworks

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
CHANGELOG		CHANGELOG
CarneadesIntoDung.cabal		CarneadesIntoDung.cabal
LICENSE		LICENSE
README.txt		README.txt
Setup.hs		Setup.hs
ex.txt		ex.txt
ex1.txt		ex1.txt
ex2.txt		ex2.txt
exampleaf.txt		exampleaf.txt
examplecaes.txt		examplecaes.txt
exex.txt		exex.txt

Repository files navigation

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. See "Towards a framework for the implementation and
verification of translations between argumentation models" by 
Bas van Gijzel and Henrik Nilsson or the package's homepage:
http://www.cs.nott.ac.uk/~bmv/CarneadesIntoDung/