Download Latest Version AFs_SET3.tar.gz (10.6 MB)
Email in envelope

Get an email when there's a new version of ArgTools

Home / Finding Extensions of Abstract Argument Systems
Name Modified Size InfoDownloads / Week
Parent folder
README.txt 2014-03-04 475 Bytes
0
BuildTheGroundedExtension.cpp 2014-03-01 3.1 kB
0
FindAllStageExtensions.cpp 2014-02-28 6.3 kB
0
FindAllStableExtensions.cpp 2014-02-28 5.4 kB
0
FindAllSemistableExtensions.cpp 2014-02-28 6.2 kB
0
FindAllPreferredExtensions.cpp 2014-02-28 5.3 kB
0
FindTheIdealExtension.cpp 2014-02-28 5.5 kB
0
FindAllCompleteExtensions.cpp 2014-02-28 5.6 kB
0
Totals: 8 Items   37.9 kB 0 
To run a program type, for example,

g++ FindAllPreferredExtensions.cpp -o prog.out
prog.out inputFile.dl

where the inputFile contains an argumentation framework. For instance, the input file of the framework a-->b-->c is

arg(a).
arg(b).
arg(c).
att(a,b).
att(b,c).

This format follows the input format of ASPARTIX (http://www.dbai.tuwien.ac.at/proj/argumentation/systempage/docu.htm).

For questions/comments, please contact Samer.Nofal@gju.edu.jo
Source: README.txt, updated 2014-03-04