OVA-gen alpha-2 is the second release of our tool for constructing and analysing Dung-style argumentation frameworks.
- 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.