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

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Contributors

Details

Original languageEnglish
Title of host publicationProceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022)
EditorsFrancesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido
PublisherIOS Press, Amsterdam [u. a.]
Pages355–356
Number of pages2
Volume220146
ISBN (electronic)9781643683065
ISBN (print)9781643683065
Publication statusPublished - 1 Sept 2022
Peer-reviewedYes

Publication series

SeriesFAIA

External IDs

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

Keywords

ASJC Scopus subject areas

Keywords

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