proxdd

proxdd is an open-source Prolog program for SICStus (4.2+), Yap (6.2+), or SWI (6.2.6+) Prolog, implementing the SXDD algorithm for assumption-based argumentation from the paper:

The source is downloadable from here:

grapharg

grapharg is an open-source Prolog program for SICStus Prolog (4.2+), implementing a graph-based dispute derivation algorithm for assumption-based argumentation.

The source is downloadable from here:

Installation

The structure of the two sources is the same. Put the script from each 'script/' directory (either 'proxdd' or 'grapharg') in your PATH, make it executable, and edit the relevant variables in it to point to the right place. Then:

More details can be found in the tutorials for proxdd and grapharg.

Author

proxdd and grapharg were written by Robert Craven, in the Department of Computing, Imperial College London.