Research map / Learning theory and algorithms / Combinatorial and search optimization
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity
Read the paperCheck your idea against 108,967 papers
AI-extracted summary. Written by AI from the paper's title only (no summary yet). Numbers and claims can be wrong or missing context, so check the paper before you cite or build on it.
Measured effects reported in the paper
| What was changed | Where | Measured | Effect |
|---|---|---|---|
| Add weak constraints and maximal-set selection | CAF · Credulous and skeptical acceptance under complete, stable, preferred, and semi-stable semantics | complexity: typically increases the complexity of one level in the polynomial hierarchy | Mixed |
| Add strong constraints | AF · Credulous and skeptical acceptance under most semantics | complexity: remains the same as for AFs in most cases | No clear effect |
| Restrict weak constraints to a linear order | WAF · Credulous and skeptical acceptance | complexity: complexity generally decreases, though it is higher than that of CAFs | Helped |
| Restrict constraints to denials | CAF · Preferred semantics, credulous acceptance | complexity: ΠP₂-c -> NP-c | Helped |
| Add weak denial constraints | NCAF · Credulous and skeptical acceptance under maximal-set semantics | complexity: increases the complexity of one level in the polynomial hierarchy | Hurt |
Closest papers by meaning
- Dung’s Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases (AAAI 2025 · similarity 0.91)
- Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework (AAAI 2024 · similarity 0.90)
- Non-flat ABA Is an Instance of Bipolar Argumentation (AAAI 2024 · similarity 0.89)
- Redefining ABA+ Semantics via Abstract Set-to-Set Attacks (AAAI 2024 · similarity 0.88)
- Bilateral Gradual Semantics for Weighted Argumentation (AAAI 2024 · similarity 0.87)
- Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation (AAAI 2024 · similarity 0.87)
Writing a paper in this area? scime draft is a free LaTeX editor with AI included, real-time co-authors and a check of your references and venue rules before you submit. It also imports OpenAI Prism projects.
