Closed rappatoni closed 5 years ago
Implementation of argumentation semantic computation on theory graphs using the solver jArgSemSAT.
Please take note of the license used by jArgSemSAT: https://github.com/federicocerutti/jArgSemSAT/blob/master/LICENSE
My code merely calls the solver which is provided as a java library.
Implementation of argumentation semantic computation on theory graphs using the solver jArgSemSAT.
Please take note of the license used by jArgSemSAT: https://github.com/federicocerutti/jArgSemSAT/blob/master/LICENSE
My code merely calls the solver which is provided as a java library.