A Tool for Reasoning in Assumption-based Argumentation using Tree-decompositions

Andrei Popescu, Johannes Peter Wallner

Publikation: Andere Beiträge › Sonstiger Beitrag

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.
Originalspracheenglisch
Seitenumfang2
PublikationsstatusVeröffentlicht - 2023

Zugriff auf Dokument

Andere Dateien und Links

  • 1 Beitrag in einem Konferenzband

  • 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. (Hrsg.). Springer Nature Switzerland AG, Band 14281. S. 192-208 17 S. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Band 14281 LNAI).

    Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

    Open Access

Dieses zitieren