proxdd

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

The source is downloadable from here:

abagraph

abagraph is an open-source Prolog program for SICStus Prolog (4.2+), implementing a graph-based dispute derivation algorithm for assumption-based argumentation. It is, in effect, an updated version of grapharg.

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 three sources is the same. Put the script from each 'script/' directory (either 'proxdd', 'abagraph' 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, abagraph and grapharg.

Author

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