Cited in
(28)- Measuring inconsistency with many-valued logics
- Stream-based inconsistency measurement
- Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
- Incremental computation of deterministic extensions for dynamic argumentation frameworks
- DELORES
- NESCOND
- NP Datalog
- MRtrix
- Argtools
- Carneades
- CEGARTIX
- Dungine
- LamatzSolver
- prefMaxSAT
- ProGraph
- DR-Prolog
- LDSpider
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Optimization of dialectical outcomes in dialogical argumentation
- A graded approach to database repair by context-aware distance semantics
- A comprehensive account of the burden of persuasion in abstract argumentation
- LARS
- Ensuring reference independence and cautious monotony in abstract argumentation
- DiArg
- The first international competition on computational models of argumentation: results and analysis
- Explanations of non-monotonic inference in admissibility-based abstract argumentation
- The burden of persuasion in abstract argumentation
- InfOCF-Web
This page was built for software: Tweety
