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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
TitelProceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022)
Redakteure/-innenFrancesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido
Herausgeber (Verlag)IOS Press
Seiten355–356
Seitenumfang2
Band220146
ISBN (elektronisch)9781643683065
ISBN (Print)9781643683065
PublikationsstatusVeröffentlicht - 1 Sept. 2022
Peer-Review-StatusJa

Publikationsreihe

ReiheFAIA

Externe IDs

Scopus 85139470763
dblp conf/comma/EllmauthalerGRW22
Mendeley b992f68d-2ecd-3c46-a8de-c68c48f8d0aa
unpaywall 10.3233/faia220170
ORCID /0000-0003-2425-6089/work/173986247

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

  • abstract dialectical frameworks, binary decision diagrams, rust-lang