AcbAr - Atomic-based Argumentation Solver

Tuomo Lehtonen; Anna Rapberger; Markus Ulbricht; Johannes Peter Wallner

AcbAr - Atomic-based Argumentation Solver

Tuomo Lehtonen, Anna Rapberger, Markus Ulbricht, Johannes Peter Wallner

Institute of Software Engineering and Artificial Intelligence (7160)

Research output: Other contribution

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

Access to Document

https://hdl.handle.net/10138/565357

Cite this

@misc{ebb20afa55c04e4f84405a15bd4166f3,

title = "AcbAr - Atomic-based Argumentation Solver",

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.",

author = "Tuomo Lehtonen and Anna Rapberger and Markus Ulbricht and Wallner, {Johannes Peter}",

year = "2023",

language = "English",

type = "Other",

}

TY - GEN

T1 - AcbAr - Atomic-based Argumentation Solver

AU - Lehtonen, Tuomo

AU - Rapberger, Anna

AU - Ulbricht, Markus

AU - Wallner, Johannes Peter

PY - 2023

Y1 - 2023

N2 - 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.

AB - 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.

UR - https://bitbucket.org/lehtonen/acbar/src/master/

M3 - Other contribution

ER -

AcbAr - Atomic-based Argumentation Solver

Abstract

Access to Document

Other files and links

Fingerprint

FWF - Neue KI - A Novel Computational Workflow for Argumentation in AI

Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity

Cite this

AcbAr - Atomic-based Argumentation Solver

Abstract

Access to Document

Other files and links

Fingerprint

Projects

FWF - Neue KI - A Novel Computational Workflow for Argumentation in AI

Research output

Argumentation Frameworks induced by Assumption-based Argumentation: Relating Size and Complexity

Cite this