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

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

doi:10.3233/FAIA220170

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

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

Institut für Softwaretechnologie (7160)

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

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)

Originalsprache	englisch
Titel	Computational Models of Argument - Proceedings of COMMA 2022
Redakteure/-innen	Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido
Seiten	355-356
Seitenumfang	2
ISBN (elektronisch)	9781643683065
DOIs	https://doi.org/10.3233/FAIA220170
Publikationsstatus	Veröffentlicht - 2022
Veranstaltung	9th International Conference on Computational Models of Argument: COMMA 2022 - Cardiff, Großbritannien / Vereinigtes Königreich Dauer: 14 Sept. 2022 → 16 Sept. 2022 https://comma22.cs.cf.ac.uk/

Publikationsreihe

Name	Frontiers in Artificial Intelligence and Applications
Herausgeber (Verlag)	IOS Press
Band	353

Konferenz

Konferenz	9th International Conference on Computational Models of Argument
Kurztitel	COMMA 2022
Land/Gebiet	Großbritannien / Vereinigtes Königreich
Ort	Cardiff
Zeitraum	14/09/22 → 16/09/22
Internetadresse	https://comma22.cs.cf.ac.uk/

ASJC Scopus subject areas

Artificial intelligence

Zugriff auf Dokument

10.3233/FAIA220170Lizenz: CC BY-NC 4.0

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

FWF - Neue KI - Neue Berechnungsmethoden für Argumentationsmodelle in der KI
Wallner, J. P.
1/09/22 → 31/08/25
Projekt: Forschungsprojekt

Dieses zitieren

Ellmauthaler, S., Gaggl, S. A., Rusovac, D., & Wallner, J. P. (2022). ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. in F. Toni, S. Polberg, R. Booth, M. Caminada, & H. Kido (Hrsg.), Computational Models of Argument - Proceedings of COMMA 2022 (S. 355-356). (Frontiers in Artificial Intelligence and Applications; Band 353). https://doi.org/10.3233/FAIA220170

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. / Ellmauthaler, Stefan; Gaggl, Sarah A.; Rusovac, Dominik et al.
Computational Models of Argument - Proceedings of COMMA 2022. Hrsg. / Francesca Toni; Sylwia Polberg; Richard Booth; Martin Caminada; Hiroyuki Kido. 2022. S. 355-356 (Frontiers in Artificial Intelligence and Applications; Band 353).

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

Ellmauthaler, S, Gaggl, SA, Rusovac, D & Wallner, JP 2022, ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. in F Toni, S Polberg, R Booth, M Caminada & H Kido (Hrsg.), Computational Models of Argument - Proceedings of COMMA 2022. Frontiers in Artificial Intelligence and Applications, Bd. 353, S. 355-356, 9th International Conference on Computational Models of Argument, Cardiff, Großbritannien / Vereinigtes Königreich, 14/09/22. https://doi.org/10.3233/FAIA220170

@inproceedings{aa5f4e65859245fa97fcce042bd8b369,

title = "ADF-BDD: An ADF Solver Based on Binary Decision Diagrams",

abstract = "Abstract Dialectical Frameworks (ADF) are a generalisation of Dung{\textquoteright}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)",

keywords = "abstract dialectical frameworks, binary decision diagrams, rust-lang",

author = "Stefan Ellmauthaler and Gaggl, {Sarah A.} and Dominik Rusovac and Wallner, {Johannes Peter}",

year = "2022",

doi = "10.3233/FAIA220170",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "355--356",

editor = "Francesca Toni and Sylwia Polberg and Richard Booth and Martin Caminada and Hiroyuki Kido",

booktitle = "Computational Models of Argument - Proceedings of COMMA 2022",

note = "9th International Conference on Computational Models of Argument : COMMA 2022, COMMA 2022 ; Conference date: 14-09-2022 Through 16-09-2022",

url = "https://comma22.cs.cf.ac.uk/",

}

TY - GEN

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

AU - Ellmauthaler, Stefan

AU - Gaggl, Sarah A.

AU - Rusovac, Dominik

AU - Wallner, Johannes Peter

PY - 2022

Y1 - 2022

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

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

KW - abstract dialectical frameworks

KW - binary decision diagrams

KW - rust-lang

UR - http://www.scopus.com/inward/record.url?scp=85139470763&partnerID=8YFLogxK

U2 - 10.3233/FAIA220170

DO - 10.3233/FAIA220170

M3 - Conference paper

T3 - Frontiers in Artificial Intelligence and Applications

SP - 355

EP - 356

BT - Computational Models of Argument - Proceedings of COMMA 2022

A2 - Toni, Francesca

A2 - Polberg, Sylwia

A2 - Booth, Richard

A2 - Caminada, Martin

A2 - Kido, Hiroyuki

T2 - 9th International Conference on Computational Models of Argument

Y2 - 14 September 2022 through 16 September 2022

ER -

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

Abstract

Publikationsreihe

Konferenz

ASJC Scopus subject areas

Zugriff auf Dokument

Andere Dateien und Links

Projekte

FWF - Neue KI - Neue Berechnungsmethoden für Argumentationsmodelle in der KI

Dieses zitieren