GrappaVis
GrappaVis - A System For Advanced Graphical Argumentation Formalisms. Welcome to the system page of GrappaVis, the tool for specifying and evaluating GRAPPA and ADF instances. GrappaVis is a graphical tool to specify GRAPPA and ADF-instances, evaluate them and visualize the results of the evaluation. GrappaVis itself is a JAVA-application based on the JGraphX framework and therefore provides intuitive tools to draw GRAPPA/ ADF instances. For the evaluation it makes use of two different types of ASP-encodings.
Keywords for this software
References in zbMATH (referenced in 2 articles )
Showing results 1 to 2 of 2.
Sorted by year (- Bichler, Manuel; Morak, Michael; Woltran, Stefan: lpopt: a rule optimization tool for answer set programming (2020)
- Bichler, Manuel; Morak, Michael; Woltran, Stefan: Lpopt: A rule optimization tool for answer set programming (2017)