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.