Cited in
(14)- The first international competition on computational models of argumentation: results and analysis
- ASPARTIX
- Argtools
- Carneades
- CEGARTIX
- ConArg2
- CoQuiAAS
- LamatzSolver
- prefMaxSAT
- ProGraph
- Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence
- Encoding deductive argumentation in quantified Boolean formulae
- On efficiently estimating the probability of extensions in abstract argumentation frameworks
- Methods for solving reasoning problems in abstract argumentation -- a survey
This page was built for software: Dungine
