The first international competition on computational models of argumentation: results and analysis (Q1677447): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASPARTIX
@@ Property / describes a project that uses: ASPARTIX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ConArg2
@@ Property / describes a project that uses: ConArg2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CEGARTIX
@@ Property / describes a project that uses: CEGARTIX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIAMOND
@@ Property / describes a project that uses: DIAMOND / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Carneades
@@ Property / describes a project that uses: Carneades / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+prefMaxSAT
@@ Property / describes a project that uses: prefMaxSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dungine
@@ Property / describes a project that uses: Dungine / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Argtools
@@ Property / describes a project that uses: Argtools / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LamatzSolver
@@ Property / describes a project that uses: LamatzSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CoQuiAAS
@@ Property / describes a project that uses: CoQuiAAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ProGraph
@@ Property / describes a project that uses: ProGraph / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Tweety
@@ Property / describes a project that uses: Tweety / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Clingo
@@ Property / describes a project that uses: Clingo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lingeling
@@ Property / describes a project that uses: Lingeling / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2017.08.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2752231188
@@ Property / OpenAlex ID: W2752231188 / rank @@
+Normal rank
@@ Property / cites work @@
+A QBF-based formalization of abstract argumentation semantics
+Normal rank
@@ Property / cites work @@
+Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
+Normal rank
@@ Property / cites work @@
+Emergence of Scaling in Random Networks
@@ Property / cites work: Emergence of Scaling in Random Networks / rank @@
+Normal rank
@@ Property / cites work @@
+SCC-recursiveness: a general schema for argumentation semantics
+Normal rank
@@ Property / cites work @@
+Argumentation in artificial intelligence
@@ Property / cites work: Argumentation in artificial intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparative Test on the Enumeration of Extensions in Abstract Argumentation*
+Normal rank
@@ Property / cites work @@
+Q5574452
@@ Property / cites work: Q5574452 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Issue of Reinstatement in Argumentation
@@ Property / cites work: On the Issue of Reinstatement in Argumentation / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach
+Normal rank
@@ Property / cites work @@
+Methods for solving reasoning problems in abstract argumentation -- a survey
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+A note on two problems in connexion with graphs
@@ Property / cites work: A note on two problems in connexion with graphs / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Coherence in finite argument systems.
@@ Property / cites work: Coherence in finite argument systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristics of multiple viewpoints in abstract argumentation
+Normal rank
@@ Property / cites work @@
+Weighted argument systems: basic definitions, algorithms, and complexity results
+Normal rank
@@ Property / cites work @@
+Q5357222
@@ Property / cites work: Q5357222 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity-sensitive decision procedures for abstract argumentation
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3267900
@@ Property / cites work: Q3267900 / rank @@
+Normal rank
@@ Property / cites work @@
+Manifold Answer-Set Programs for Meta-reasoning
@@ Property / cites work: Manifold Answer-Set Programs for Meta-reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Defeasible logic programming: an argumentative approach
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+The carneades model of argument and burden of proof
+Normal rank
@@ Property / cites work @@
+A probabilistic approach to modelling uncertain logical arguments
+Normal rank
@@ Property / cites work @@
+Q3992822
@@ Property / cites work: Q3992822 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward incremental computation of argumentation semantics: a decomposition-based approach
+Normal rank
@@ Property / cites work @@
+Dynamics of argumentation systems: a division-based method
+Normal rank
@@ Property / cites work @@
+Preferred extensions as stable models
@@ Property / cites work: Preferred extensions as stable models / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing Argumentation Frameworks from Examples
+Normal rank
@@ Property / cites work @@
+Algorithms for decision problems in argument systems under preferred semantics
+Normal rank
@@ Property / cites work @@
+Looking-ahead in backtracking algorithms for abstract argumentation
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Justification and defeat
@@ Property / cites work: Justification and defeat / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical treatment of defeasible reasoning and its implementation.
+Normal rank
@@ Property / cites work @@
+Q3455611
@@ Property / cites work: Q3455611 / rank @@
+Normal rank
@@ Property / cites work @@
+The first international competition on computational models of argumentation: results and analysis
+Normal rank
@@ Property / cites work @@
+Argumentation and Answer Set Programming
@@ Property / cites work: Argumentation and Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Collective dynamics of ‘small-world’ networks
@@ Property / cites work: Collective dynamics of ‘small-world’ networks / rank @@
+Normal rank