|
| | Preview | Author(s) | Title | Type | Issue Date |
| 81 | | Charwat, Günther ; Woltran, Stefan | Efficient Problem Solving on Tree Decompositions Using Binary Decision Diagrams | Konferenzbeitrag Inproceedings  | 2015 |
| 82 | | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan | Shift Design with Answer Set Programming | Konferenzbeitrag Inproceedings | 2015 |
| 83 | | Dusberger, Frederico ; Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Konferenzbeitrag Inproceedings | 2015 |
| 84 | | Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan | On the Parameterized Complexity of Belief Revision | Konferenzbeitrag Inproceedings | 2015 |
| 85 | | FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN | Dual-normal logic programs - the forgotten class | Artikel Article | 2015 |
| 86 | | GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN | Improved answer-set programming encodings for abstract argumentation | Artikel Article | 2015 |
| 87 | | Charwat, Günther ; Dvořák, Wolfgang ; Gaggl, Sarah A. ; Wallner, Johannes P. ; Woltran, Stefan | Methods for solving reasoning problems in abstract argumentation - A survey | Artikel Article | 2015 |
| 88 | | Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan | D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy | Konferenzbeitrag Inproceedings | 2015 |
| 89 | | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan | Shift Design with Answer Set Programming | Konferenzbeitrag Inproceedings | 2015 |
| 90 | | Abseher, Michael ; Bliem, Bernhard ; Charwat, Günther ; Dusberger, Frederico ; Hecher, Markus ; Woltran, Stefan | The D-FLAT System for Dynamic Programming on Tree Decompositions | Konferenzbeitrag Inproceedings | 2014 |
