|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Barcelo, Pablo ; Gottlob, Georg ; Pieris, Andreas | Semantic Acyclicity Under Constraints | Konferenzbeitrag Inproceedings  | 2016 |
| 2 | | Woltran, Stefan | Dynamic Programming on Tree Decompositions in Practice | Präsentation Presentation | 2016 |
| 3 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Bericht Report | 2016 |
| 4 | | Charwat, Günther ; Woltran, Stefan | BDD-based Dynamic Programming on Tree Decompositions | Bericht Report | 2016 |
| 5 | | Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan | Treewidth-Preserving Modeling in ASP | Bericht Report | 2016 |
| 6 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | htd -- A Free, Open-Source Framework for Tree Decompositions and Beyond | Bericht Report | 2016 |
| 7 | | Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan | Multiparametric View on Answer Set Programming | Bericht Report | 2016 |
| 8 | | Fichte, Johannes ; Szeider, Stefan | Backdoor Trees for Answer Set Programming | Bericht Report | 2016 |
| 9 | | Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 System | Bericht Report | 2016 |
| 10 | | Bliem, Bernhard ; Woltran, Stefan | Equivalence Between Answer-Set Programs Under (Partially) Fixed Input | Konferenzbeitrag Inproceedings | 2016 |
| 11 | | Berger, Gerald ; Pieris, Andreas | Ontology-Mediated Queries Distributing over Components | Konferenzbeitrag Inproceedings | 2016 |
| 12 | | Bliem, Bernhard ; Bredereck, Robert ; Niedermeier, Rolf | Complexity of Efficient and Envy-Free Resource Allocation: Few Agents, Resources, or Utility Levels | Konferenzbeitrag Inproceedings | 2016 |
| 13 | | Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan | ASP for Anytime Dynamic Programming on Tree Decompositions | Konferenzbeitrag Inproceedings | 2016 |
| 14 | | Fichte, Johannes K. ; Meier, Arne ; Schindler, Irina | Strong Backdoors for Default Logic | Konferenzbeitrag Inproceedings | 2016 |
| 15 | | Bliem, Bernhard ; Hecher, Markus ; Woltran, Stefan | On Efficiently Enumerating Semi-Stable Extensions via Dynamic Programming on Tree Decompositions | Konferenzbeitrag Inproceedings | 2016 |
| 16 | | Bliem, Bernhard ; Woltran, Stefan | Complexity of Secure Sets | Konferenzbeitrag Inproceedings | 2016 |
| 17 | | Barceló, Pablo ; Gottlob, Georg ; Pieris, Andreas | Semantic Acyclicity Under Constraints | Konferenzbeitrag Inproceedings | 2016 |
| 18 | | Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan | Subset Minimization in Dynamic Programming on Tree Decompositions | Konferenzbeitrag Inproceedings | 2016 |
| 19 | | Bichler, Manuel ; Morak, Michael ; Woltran, Stefan | lpopt: A Rule Optimization Tool for Answer Set Programming | Konferenzbeitrag Inproceedings | 2016 |
| 20 | | Heissenberger, Georg ; Woltran, Stefan | Grappavis - A system for advanced graph-based argumentation | Konferenzbeitrag Inproceedings | 2016 |
