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 / Skeptical Admissibility
Name Modified Size InfoDownloads / Week
Parent folder
README.txt 2018-11-28 356 Bytes
decideSkepticalAdmissibility.cpp 2018-11-28 31.6 kB
Totals: 2 Items   32.0 kB 1
The program decides the skeptical 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