| 1 |
Abstract Dialectical Frameworks Revisited |
261 |
2013 |
| 2 |
Methods for solving reasoning problems in abstract argumentationâa survey |
226 |
2015 |
| 3 |
Complexity-sensitive decision procedures for abstract argumentation |
159 |
2014 |
| 4 |
Foundations of implementations for formal argumentation |
134 |
2017 |
| 5 |
Complexity results and algorithms for extension enforcement in abstract argumentation |
99 |
2017 |
| 6 |
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory |
90 |
2015 |
| 7 |
The Fourth Answer Set Programming Competition: Preliminary Reportâ |
82 |
2013 |
| 8 |
Improved answer-set programming encodings for abstract argumentation |
59 |
2015 |
| 9 |
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems |
59 |
2013 |
| 10 |
Abstract dialectical frameworks. An overview |
58 |
2017 |
| 11 |
Explaining Non-Acceptability in Abstract Argumentation |
58 |
2020 |
| 12 |
On the relation between SPARQL1. 1 and answer set programming |
57 |
2013 |
| 13 |
Implicit Hitting Set Algorithms for Reasoning Beyond NP |
45 |
2016 |
| 14 |
On the complexity of inconsistency measurement |
44 |
2019 |
| 15 |
Strong explanations in abstract argumentation |
44 |
2021 |
| 16 |
Synthesizing Argumentation Frameworks from Examples |
44 |
2016 |
| 17 |
Declarative algorithms and complexity results for assumption-based argumentation |
43 |
2021 |
| 18 |
Advanced SAT Techniques for Abstract Argumentation |
40 |
2013 |
| 19 |
Enforcement in formal argumentation |
35 |
2021 |
| 20 |
ASPARTIX-V19-an answer-set programming based system for abstract argumentation |
33 |
2020 |
| 21 |
Extension enforcement under grounded semantics in abstract argumentation |
31 |
2018 |
| 22 |
Weighted abstract dialectical frameworks |
30 |
2018 |
| 23 |
Some Complexity Results on Inconsistency Measurement |
28 |
2016 |
| 24 |
Argumentation frameworks induced by assumption-based argumentation: Relating size and complexity |
27 |
2023 |
| 25 |
From structured to abstract argumentation: Assumption-based acceptance via AF reasoning |
27 |
2017 |
| 26 |
Structural constraints for dynamic operators in abstract argumentation |
27 |
2020 |
| 27 |
Reduction-based approaches to implement Modgilâs extended argumentation frameworks |
26 |
2015 |
| 28 |
Argumentative reasoning in ASPIC+ under incomplete information |
25 |
2025 |
| 29 |
Optimal Status Enforcement in Abstract Argumentation |
25 |
2016 |
| 30 |
The ASPARTIX system suite |
25 |
2025 |
| 31 |
Reasoning in abstract dialectical frameworks using quantified Boolean formulas |
24 |
2015 |
| 32 |
Admissibility in the Abstract Dialectical Framework |
20 |
2013 |
| 33 |
Implementing Abstract Argumentation A Survey |
19 |
2018 |
| 34 |
Novel algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving |
19 |
2018 |
| 35 |
Harnessing incremental answer set solving for reasoning in assumption-based argumentation |
18 |
2021 |
| 36 |
Utilizing ASP for Generating and Visualizing Argumentation Frameworks |
18 |
2012 |
| 37 |
Abstract solvers for Dungâs argumentation frameworks |
17 |
2018 |
| 38 |
Evaluating Abstract Dialectical Frameworks with ASP |
17 |
2012 |
| 39 |
An answer set programming approach to argumentative reasoning in the ASPIC+ framework |
16 |
2020 |
| 40 |
CEGARTIX: A SAT-Based Argumentation Systemâ |
15 |
2014 |
| 41 |
Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas |
15 |
2014 |
| 42 |
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments |
14 |
2018 |
| 43 |
Instantiations and computational aspects of non-flat assumption-based argumentation |
12 |
2024 |
| 44 |
Proportional Belief Merging |
12 |
2024 |
| 45 |
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving |
11 |
2022 |
| 46 |
ARVis: Visualizing Relations between Answer Sets |
11 |
2013 |
| 47 |
Reasoning over assumption-based argumentation frameworks via direct answer set programming encodings |
11 |
2019 |
| 48 |
Complexity results and algorithms for argumentation: Dung's frameworks and beyond |
10 |
2014 |
| 49 |
Computing Strongly Admissible Sets |
10 |
2021 |
| 50 |
Existential abstraction on argumentation frameworks via clustering |
10 |
2021 |
| 51 |
On the Parameterized Complexity of Belief Revision |
9 |
2015 |
| 52 |
A hybrid approach for model-based random testing |
8 |
2010 |
| 53 |
Algorithms for reasoning in a default logic instantiation of assumption-based argumentation |
8 |
2022 |
| 54 |
VCWC: A Versioning Competition Workflow Compilerâ |
8 |
2013 |
| 55 |
ASPARTIX-V: Utilizing Improved ASP Encodings |
7 |
2010 |
| 56 |
ASPARTIX-V21 |
6 |
2021 |
| 57 |
Pakota: A system for enforcement in abstract argumentation |
6 |
2016 |
| 58 |
Ranking sets of defeasible elements in preferential approaches to structured argumentation: Postulates, relations, and characterizations |
6 |
2021 |
| 59 |
Reasoning in assumption-based argumentation using tree-decompositions |
6 |
2023 |
| 60 |
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams |
4 |
2022 |
| 61 |
Applications of ASP in formal argumentation |
4 |
2018 |
| 62 |
Aspartix-va solver for argumentation tasks using asp |
4 |
2021 |
| 63 |
CEGARTIX v0. 4: A SAT-Based Counter-Example Guided Argumentation Reasoning Tool |
4 |
2017 |
| 64 |
Cegartix v2017-3-13: a SAT-based counter-example guided argumentation reasoning tool |
4 |
2017 |
| 65 |
Complexity results and algorithms for preferential argumentative reasoning in ASPIC+ |
4 |
2024 |
| 66 |
Labelling-based Algorithms for SETAFs |
4 |
2021 |
| 67 |
Manipulating skeptical and credulous consequences when merging beliefs |
4 |
2019 |
| 68 |
Abstracting Assumptions in Structured Argumentation |
3 |
2024 |
| 69 |
An AGM Approach to Revising Preferences |
3 |
2021 |
| 70 |
Assumption-based argumentation translated to argumentation frameworks |
3 |
2017 |
| 71 |
Ranking-based Semantics for Assumption-based Argumentation |
3 |
2023 |
| 72 |
Representing abstract dialectical frameworks with binary decision diagrams |
3 |
2022 |
| 73 |
Strongly Accepting Subframeworks: Connecting Abstract and Structured Argumentation |
3 |
2022 |
| 74 |
Advancing algorithmic approaches to probabilistic argumentation under the constellation approach |
2 |
2024 |
| 75 |
An Axiomatic Approach to Revising Preferences |
2 |
2022 |
| 76 |
On computing admissibility in ABA |
2 |
2024 |
| 77 |
Preliminary report on complexity analysis of extensionâbased semantics of abstract dialectical frameworks |
2 |
2017 |
| 78 |
Ranking transition-based medical recommendations using assumption-based argumentation |
2 |
2024 |
| 79 |
Value-based Reasoning in ASPIC+ |
2 |
2024 |
| 80 |
Abstraction in assumption-based argumentation |
1 |
2024 |
| 81 |
A Semantical Approach to Abstraction in Answer Set Programming and Assumption-Based Argumentation |
1 |
2024 |
| 82 |
Aspartix-V21 |
1 |
2021 |
| 83 |
Benchmark for Complete and Stable Semantics for Argumentation Frameworks |
1 |
2014 |
| 84 |
Manipulation of semantic aggregation procedures for propositional knowledge bases and argumentation frameworks |
1 |
2018 |
| 85 |
Abstract dialectical frameworks |
0 |
2018 |
| 86 |
Advanced Procedures for Hard Problems in Abstract Argumentation |
0 |
2018 |
| 87 |
ASPARTIX-V19-System Description |
0 |
2018 |
| 88 |
ASPARTIX-V19-System Description for ICCMAâ19 |
0 |
2018 |
| 89 |
Completing Structured Arguments in Assumption-Based Argumentation |
0 |
2025 |
| 90 |
Complexity of Semi-Stable Semantics in Abstract Dialectical Frameworks |
0 |
2024 |
| 91 |
CompLogDL and its Implementation in Answer Set Programming |
0 |
2025 |
| 92 |
Computational Argumentation: Reasoning, Dynamics, and Supporting Explainability |
0 |
2024 |
| 93 |
Computational Aspects of Formal Argumentation |
0 |
2024 |
| 94 |
Computing Stable Argumentative Conclusions under the Weakest-Link Principle in the ASPIC+ Framework |
0 |
2022 |
| 95 |
Dynamic Programming Algorithms for Probabilistic Bipolar Argumentation Frameworks |
0 |
2025 |
| 96 |
Proceedings of the Fourth International Workshop on Systems and Algorithms for Formal Argumentation |
0 |
2022 |
| 97 |
Simplifying Argumentation Frameworks by Clustering Structural Patterns |
0 |
2026 |
| 98 |
Sixth International Competition on Computational Models of Argumentation: Preliminary Report |
0 |
2025 |
| 99 |
Under-Approximating Semantics in Clustered Assumption-Based Argumentation |
0 |
2026 |
| 100 |
Utilizing Binary Decision Diagrams for Compiling Argumentation Frameworks |
0 |
2026 |