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.

Please either visit aifdb.org and choose a nodeset to evaluate, or enter a nodset ID here: