Projects per year
Abstract
ASTRA is system for reasoning in assumption-based argumentation (ABA) that exploits tree-decompositions. The solver takes an ABA framework as input, and uses dynamic-programming (DP) algorithms for reasoning. This is achieved through the D-FLAT framework, which allows for declaratively specifying DP algorithms in answer set programming (ASP). The DP algorithms operate on a tree decomposition of a given ABA framework.
| Original language | English |
|---|---|
| Type | System description |
| Number of pages | 2 |
| Publication status | Published - 2023 |
Fingerprint
Dive into the research topics of 'A Tool for Reasoning in Assumption-based Argumentation using Tree-decompositions'. Together they form a unique fingerprint.Projects
- 1 Active
-
FWF - Neue KI - A Novel Computational Workflow for Argumentation in AI
Wallner, J. P. (Co-Investigator (CoI))
1/09/22 → 31/08/25
Project: Research project
Research output
- 1 Conference paper
-
Reasoning in Assumption-based Argumentation using Tree-decompositions
Popescu, A. & Wallner, J. P., 2023, Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. Gaggl, S., Martinez, M. V., Ortiz, M. & Ortiz, M. (eds.). Springer Nature Switzerland AG, Vol. 14281. p. 192-208 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14281 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review
Open Access