Browsing by Author
Showing results 1 to 2 of 2
| Preview | Authors / Editors | Title | Type | Issue Date |
|---|---|---|---|---|
 | Diller, Martin | Realising argumentation using answer set programming and quantified boolean formulas | Thesis Hochschulschrift   | 2019 |
 | Diller, Martin | Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulas | Thesis Hochschulschrift | 2014 |