OVA-gen user interface
OVA-gen alpha-2 is the second release of our tool for constructing and analysing Dung-style argumentation frameworks.
What’s new:
- Acceptability semantics can be individually selected (instead of computing all semantics and scrolling through)
- When semantics are selected, acceptability renderings will be updated automatically
- Integration with the new version of Dung-O-Matic, which allows the following new semantics to be computed:
– admissible sets
– all preferred extensions
– all stable extensions
OVA-gen can be found at http://ova.computing.dundee.ac.uk/ova-gen
As ever, we welcome your feedback.
