jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks.

Federico Cerutti, Mauro Vallati, Massimiliano Giacomin

Browse the full KR paper archive.