dung
There are 4 repositories under dung topic.
ibaaj/DungArgumentationFrameworkGUI
GUI solver for abstract argumentation (educational)
psmoros/AutomatedInference
Open source educational tool for argumentation framework visualisation and semantic inference.
goscommons/Biogas
Mesothermic bio-digester for small farms