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

@inproceedings{Cerutti2016jArgSemSATAE,
  title={jArgSemSAT: An Efficient Off-the-Shelf Solver for Abstract Argumentation Frameworks},
  author={Federico Cerutti and Mauro Vallati and Massimiliano Giacomin},
  booktitle={KR},
  year={2016}
}
In this report from the field we describe jArgSemSAT, a Java re-implementation of ArgSemSAT. We show that jArgSemSAT can be easily integrated in existing argumentation systems (1) as an off-the-shelf, standalone, library; (2) as a Tweety compatible library; and (3) as a fast and robust web service freely available on the Web. The performance section shows that—despite being written in Java—jArgSemSAT is very efficient w.r.t. preferred semantics, which has associated problems with high… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

References

Publications referenced by this paper.
SHOWING 1-10 OF 18 REFERENCES

Probabilistic Argumentation

  • H. Li
  • Ph.D. Dissertation, U. Aberdeen.
  • 2015
1 Excerpt

Similar Papers

Loading similar papers…