ADF-BDD: An ADF Solver Based on Binary Decision Diagrams

Stefan Ellmauthaler, Sarah A. Gaggl, Dominik Rusovac, Johannes Peter Wallner

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Abstract

Abstract Dialectical Frameworks (ADF) are a generalisation of Dung’s Argumentation frameworks. Multiple approaches for reasoning under various semantics have been proposed over the last decade. We present “Abstract Dialectical Frameworks solved by Binary Decision Diagrams, developed in Dresden” (ADF - BDD) a novel approach that relies on the translation of the acceptance conditions of a given ADF into reduced ordered binary decision diagrams (roBDD)
Originalspracheenglisch
TitelProceedings COMMA
Redakteure/-innenFrancesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido
Seiten355-356
DOIs
PublikationsstatusVeröffentlicht - 2022
Veranstaltung9th International Conference on Computational Models of Argument: COMMA 2022 - Cardiff, Großbritannien / Vereinigtes Königreich
Dauer: 14 Sep. 202216 Sep. 2022
https://comma22.cs.cf.ac.uk/

Publikationsreihe

NameFrontiers in Artificial Intelligence and Applications
Herausgeber (Verlag)IOS Press
Band353

Konferenz

Konferenz9th International Conference on Computational Models of Argument
KurztitelCOMMA 2022
Land/GebietGroßbritannien / Vereinigtes Königreich
OrtCardiff
Zeitraum14/09/2216/09/22
Internetadresse

Fingerprint

Untersuchen Sie die Forschungsthemen von „ADF-BDD: An ADF Solver Based on Binary Decision Diagrams“. Zusammen bilden sie einen einzigartigen Fingerprint.

Dieses zitieren