Dungine
From MaRDI portal
swMATH22091MaRDI QIDQ33887FDOQ33887
Author name not available (Why is that?)
Official website: https://dl.acm.org/citation.cfm?id=1566167
Cited In (14)
- Complexity of fundamental problems in probabilistic abstract argumentation: beyond independence
- On efficiently estimating the probability of extensions in abstract argumentation frameworks
- ASPARTIX
- Argtools
- Carneades
- CEGARTIX
- ConArg2
- CoQuiAAS
- LamatzSolver
- prefMaxSAT
- ProGraph
- The first international competition on computational models of argumentation: results and analysis
- Encoding deductive argumentation in quantified Boolean formulae
- Methods for solving reasoning problems in abstract argumentation -- a survey
This page was built for software: Dungine
