Projects per year
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)
Original language | English |
---|---|
Title of host publication | Computational Models of Argument - Proceedings of COMMA 2022 |
Editors | Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido |
Pages | 355-356 |
Number of pages | 2 |
ISBN (Electronic) | 9781643683065 |
DOIs | |
Publication status | Published - 2022 |
Event | 9th International Conference on Computational Models of Argument: COMMA 2022 - Cardiff, United Kingdom Duration: 14 Sept 2022 → 16 Sept 2022 https://comma22.cs.cf.ac.uk/ |
Publication series
Name | Frontiers in Artificial Intelligence and Applications |
---|---|
Publisher | IOS Press |
Volume | 353 |
Conference
Conference | 9th International Conference on Computational Models of Argument |
---|---|
Abbreviated title | COMMA 2022 |
Country/Territory | United Kingdom |
City | Cardiff |
Period | 14/09/22 → 16/09/22 |
Internet address |
Keywords
- abstract dialectical frameworks
- binary decision diagrams
- rust-lang
ASJC Scopus subject areas
- Artificial Intelligence
Fingerprint
Dive into the research topics of 'ADF-BDD: An ADF Solver Based on Binary Decision Diagrams'. Together they form a unique fingerprint.Projects
- 1 Active
-
FWF - Neue KI - A Novel Computational Workflow for Argumentation in AI
1/09/22 → 31/08/25
Project: Research project