Projects per year
Abstract
AcbAr is a solver for credulous and skeptical acceptance and finding extensions in Assumption-based Argumentation (ABA). AcbAr makes use of a recently introduced procedure to construct an abstract argumentation framework (AF) from ABA frameworks such that, unlike when using a conventional argument construction method, the size of the AF is polynomially bounded. The state-of-the-art SAT-based AF solver mu-toksia is used on the resulting AF to obtain answers to the reasoning tasks. AcbAr participates in all ABA subtracks of ICCMA 2023, namely DC-CO, DC-ST, DS-ST, DS-PR, SE-ST and SE-PR.
| Original language | English |
|---|---|
| Type | System description |
| Number of pages | 2 |
| Publication status | Published - 2023 |
Fields of Expertise
- Information, Communication & Computing
Projects
- 1 Finished
-
FWF - Neue KI - A Novel Computational Workflow for Argumentation in AI
Wallner, J. P. (Consortium manager resp. coordinator with external organisations)
1/09/22 → 31/08/25
Project: Research project
Research output
- 1 Conference paper
-
Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity
Lehtonen, T., Rapberger, A., Ulbricht, M. & Wallner, J. P., 2023, Proceedings KR. Marquis, P., Son, T. C. & Kern-Isberner, G. (eds.). ijcai.org, p. 440-450 11 p.Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open AccessFile
Cite this
- APA
- Standard
- Harvard
- Vancouver
- Author
- BIBTEX
- RIS