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