ArgSemSAT@AIFdb

ArgSemSAT@AIFdb connects to the ArgSemSAT API, developed by Federico Cerutti, Mauro Vallati and Massimiliano Giacomin to evaluate AIFdb nodesets under Dung-style semantics. For details see the main reference:

Federico Cerutti, Massimiliano Giacomin and Mauro Vallati. ArgSemSAT: Solving Argumentation Problems using SAT. Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), IOS Press, 2014.


Result for Nodeset 11399 under grounded semantics


Warning: Invalid argument supplied for foreach() in /var/www/html/pages/default.php on line 64

Warning: Invalid argument supplied for foreach() in /var/www/html/pages/default.php on line 77
Acceptable conclusions (Hide)

Warning: implode(): Invalid arguments passed in /var/www/html/pages/default.php on line 126
Unacceptable or undecided conclusions (Hide)


Abstract Argumentation Framework (Hide)


Structured Argumentation Framework (Hide)