Tutored research project about comparing a compilation approach (using d-dnnf) and a direct approach (using cnf) in the context of arguments acceptability in argumentation frameworks.
-
Updated
May 18, 2023 - C++
Tutored research project about comparing a compilation approach (using d-dnnf) and a direct approach (using cnf) in the context of arguments acceptability in argumentation frameworks.
Add a description, image, and links to the argumentation topic page so that developers can more easily learn about it.
To associate your repository with the argumentation topic, visit your repo's landing page and select "manage topics."