dung

GUI solver for abstract argumentation (educational)

Mesothermic bio-digester for small farms

Open source educational tool for argumentation framework visualisation and semantic inference.

Finite formal argumentation frameworks and semantics: Dung, ASPIC+, bipolar, partial, and revision

An R package that turns dung beetle activity into dollars, estimating the annual economic benefit of dung beetles to cattle ranchers from empirical pat-decay data. It also rescales decay rates to any location's climate using WorldClim bioclim variables, so the economics reflect local conditions rather than just Central Florida.

Solveur Python pour cadres d’argumentation abstraite (Dung) au format .apx (arg/att). Implémente une interface en ligne de commande pour vérifier des extensions (VE) et décider l’acceptabilité crédule (DC) et sceptique (DS) sous les sémantiques preferred (PR) et stable (ST).

Dung abstract argumentation frameworks: labelling and SAT engines in pure SML