Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean Formulas
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Details
Originalsprache | Englisch |
---|---|
Titel | Proceedings of the 5th International Conference on Computational Models of Argument |
Herausgeber (Verlag) | IOS Press, Amsterdam [u. a.] |
Seiten | 241-252 |
Seitenumfang | 12 |
Publikationsstatus | Veröffentlicht - 2014 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 84940479994 |
---|