ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
| Originalsprache | Englisch |
|---|---|
| Titel | Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022) |
| Redakteure/-innen | Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido |
| Herausgeber (Verlag) | IOS Press, Amsterdam [u. a.] |
| Seiten | 355–356 |
| Seitenumfang | 2 |
| Band | 220146 |
| ISBN (elektronisch) | 9781643683065 |
| ISBN (Print) | 9781643683065 |
| Publikationsstatus | Veröffentlicht - 1 Sept. 2022 |
| Peer-Review-Status | Ja |
Publikationsreihe
| Reihe | FAIA |
|---|
Externe IDs
| Scopus | 85139470763 |
|---|---|
| dblp | conf/comma/EllmauthalerGRW22 |
| Mendeley | b992f68d-2ecd-3c46-a8de-c68c48f8d0aa |
| unpaywall | 10.3233/faia220170 |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- abstract dialectical frameworks, binary decision diagrams, rust-lang