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:
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:
- % 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.