Dungine
Dungine: a Java Dung Reasoner. Dungine is an open source Argumentation Engine and API implemented in the Java programming language. Dungine uses argument games to evaluate the acceptability of an argument given a constellation of arguments under grounded (sceptical) and preferred credulous semantics. Existing argumentation engines all rely on a companion logic programming language. These companion languages represent a barrier to integrating an engine into existing software as developers must translate their system into the companion logic programming language. Dungine is liberal in its notion of an Argument and this flexible approach overcomes this barrier, and makes integrating argumentation based reasoning into existing software comparatively easy. To demonstrate the usefulness of this approach, and its ease of application, we describe an integration of Dungine with Araucaria-an open source argument mapping tool.
Keywords for this software
References in zbMATH (referenced in 5 articles )
Showing results 1 to 5 of 5.
Sorted by year (- Fazzinga, Bettina; Flesca, Sergio; Furfaro, Filippo: Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence (2019)
- Thimm, Matthias; Villata, Serena: The first international competition on computational models of argumentation: results and analysis (2017)
- Fazzinga, Bettina; Flesca, Sergio; Parisi, Francesco: On efficiently estimating the probability of extensions in abstract argumentation frameworks (2016)
- Charwat, Günther; Dvořák, Wolfgang; Gaggl, Sarah A.; Wallner, Johannes P.; Woltran, Stefan: Methods for solving reasoning problems in abstract argumentation -- a survey (2015)
- Besnard, Philippe; Hunter, Anthony; Woltran, Stefan: Encoding deductive argumentation in quantified Boolean formulae (2009)