# proxdd and grapharg

## 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:

- A generalised framework for dispute derivations in assumption-based argumentation
  (Francesca Toni, Artificial Intelligence, vol. 195, 2013).

The source is downloadable from here:

- proxdd.tar.gz

## 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:

- grapharg.tar.gz

## 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:

- % proxdd source.pl OR
- % grapharg source.pl

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.