GitHub - nebasuke/CarneadesDSL: An implementation and DSL for the Carneades argumentation model.

nebasuke / CarneadesDSL Public

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

An implementation and DSL for the Carneades argumentation model.

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 5 Commits
Language/Carneades		Language/Carneades
.gitattributes		.gitattributes
.gitignore		.gitignore
CHANGELOG		CHANGELOG
CarneadesDSL.cabal		CarneadesDSL.cabal
LICENSE		LICENSE
README.txt		README.txt
Setup.hs		Setup.hs
examplecaes.txt		examplecaes.txt

Repository files navigation

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: http://www.cs.nott.ac.uk/~bmv/CarneadesDSL/. 
Thanks to Stefan Sabev for providing initial code for the cyclicity check.