Select items from the dropdown menus to obtain the relevant translation URL. When translating from AIFdb, you need to provide a nodeset ID. When translating to ASPIC+, you also have the option of evaluating the resultant translation under a number of semantics.
Two evaluation services are available: one for Dung-style argumentation frameworks (Dung-O-Matic) and one for structured argumentation frameworks in ASPIC+ (TOAST).
Four mining services are available