Research map / Large language models / Agents, code and math
Reasoning over Assumption-Based Argumentation Frameworks via Direct Answer Set Programming Encodings
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 |
|---|---|---|---|
| Replace dispute-derivation (abagraph) with direct ASP encoding | ABA adm reasoning · ABA adm enumeration with query | timeouts: 394 -> 0 | Helped |
| Replace AF translation (aba2af) with direct ASP encoding | ABA stb skeptical acceptance · ABA stb | timeouts: 648 -> 0 | Helped |
| Replace ABAplus with direct ASP encoding | ABA+ <-stb · ABA+ <-stb enumeration | mean runtime (s): 15.583 -> 0.018 | Helped |
| Scale ABA frameworks from 2500 to 3000 sentences | ASP encoding for ABA adm · Scalability | timeouts: 0 -> 24 | Hurt |
Closest papers by meaning
- Redefining ABA+ Semantics via Abstract Set-to-Set Attacks (AAAI 2024 · similarity 0.92)
- Solving Advanced Argumentation Problems with Answer-Set Programming (AAAI 2017 · similarity 0.91)
- Non-flat ABA Is an Instance of Bipolar Argumentation (AAAI 2024 · similarity 0.89)
- ARM: Adaptive Reasoning Model (NeurIPS 2025 · similarity 0.86)
- Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation (AAAI 2024 · similarity 0.85)
- Answering the Unanswerable Is to Err Knowingly: Analyzing and Mitigating Abstention Failures in Large Reasoning Models (AAAI 2026 · similarity 0.85)
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.