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
TitelComputational Models of Argument - Proceedings of COMMA 2022
Redakteure/-innenFrancesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido
Seiten355-356
Seitenumfang2
ISBN (elektronisch)9781643683065
DOIs
PublikationsstatusVeröffentlicht - 2022
Veranstaltung9th International Conference on Computational Models of Argument: COMMA 2022 - Cardiff, Großbritannien / Vereinigtes Königreich
Dauer: 14 Sept. 202216 Sept. 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

ASJC Scopus subject areas

  • Artificial intelligence

Fingerprint

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

Dieses zitieren