Carneades

MaRDI QIDQ33883swMATHFDO

Official website https://carneades.github.io/

Cited in

(17)

• The carneades model of argument and burden of proof
• The first international competition on computational models of argumentation: results and analysis
• Pragmatic and dialogic interpretations of bi-intuitionism. I
• GRAPPA
• CEGARTIX
• DIAMOND
• prefMaxSAT
• Dungine
• Argtools
• LamatzSolver
• ProGraph
• Approximating operators and semantics for abstract dialectical frameworks
• On the decomposition of abstract dialectical frameworks and the complexity of naive-based semantics
• A glimpse on Gerhard Brewka's contributions to artificial intelligence
• Still Craving a Porsche
• Assessing the epistemological relevance of Dung-style argumentation theories
• Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory

This page was built for software: Carneades