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 / Deciding Admissibility
Name Modified Size InfoDownloads / Week
Parent folder
README.txt 2018-11-28 366 Bytes
0
decideCredulousAcceptance_admissible.cpp 2018-11-28 21.4 kB
0
Totals: 2 Items   21.8 kB 0 
This is the latest program for deciding the admissibility of an argument in a given argumentation framework (AF) inputted as ASPARTIX format.

To compile the program use the command: g++ -std=c++11 scourceCode.cpp -o program.out

To execute the program use the command: ./program.out queryArg input_AF.txt 

For questions or comments contact: Samer.Nofal@gju.edu.jo
Source: README.txt, updated 2018-11-28