Research map / Learning theory and algorithms / Combinatorial and search optimization
Solving Advanced Argumentation Problems with Answer-Set Programming
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 |
|---|---|---|---|
| use single-call dynamic ASP encoding (YADF) instead of DIAMOND static encoding for preferred semantics | ADF skeptical reasoning under preferred semantics · Gri-30 | mean runtime (s): 51.48 -> 1.76 | Helped |
| use YADF instead of QADF for skeptical preferred reasoning | ADF reasoning · Gri-30 | mean runtime (s): 497.4 -> 1.76 | Helped |
| use YADF instead of DIAMOND/QADF for credulous admissible reasoning on small grids | ADF reasoning · Gri-10 | mean runtime (s): 0.11 -> 0.66 | No clear effect |
| use YADF instead of DIAMOND for credulous admissible reasoning on metro instances | ADF reasoning · Metro | mean runtime (s): 5.7 -> 1.6 | Helped |
| use YADF instead of DIAMOND for credulous reasoning on very dense random graphs | ADF reasoning · dense random graphs | runtime | Hurt |
Closest papers by meaning
- Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings (AAAI 2019 · similarity 0.91)
- On Undisputed Sets in Abstract Argumentation (AAAI 2023 · similarity 0.89)
- Complexity of Abstract Argumentation under a Claim-Centric View (AAAI 2019 · similarity 0.88)
- Redefining ABA+ Semantics via Abstract Set-to-Set Attacks (AAAI 2024 · similarity 0.87)
- Non-flat ABA Is an Instance of Bipolar Argumentation (AAAI 2024 · similarity 0.87)
- Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence (AAAI 2025 · 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.