|
| | Preview | Author(s) | Title | Type | Issue Date |
| 121 | | Bliem, Bernhard ; Woltran, Stefan | Complexity of Secure Sets | Konferenzbeitrag Inproceedings  | 2016 |
| 122 | | Barceló, Pablo ; Gottlob, Georg ; Pieris, Andreas | Semantic Acyclicity Under Constraints | Konferenzbeitrag Inproceedings | 2016 |
| 3 | | Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan | Subset Minimization in Dynamic Programming on Tree Decompositions | Konferenzbeitrag Inproceedings | 2016 |
| 4 | | Bichler, Manuel ; Morak, Michael ; Woltran, Stefan | lpopt: A Rule Optimization Tool for Answer Set Programming | Konferenzbeitrag Inproceedings | 2016 |
| 5 | | Heissenberger, Georg ; Woltran, Stefan | Grappavis - A system for advanced graph-based argumentation | Konferenzbeitrag Inproceedings | 2016 |
| 6 | | Bourhis, Pierre ; Manna, Marco ; Morak, Michael ; Pieris, Andreas | Guarded-Based Disjunctive Tuple-Generating Dependencies | Artikel Article | 2016 |
| 7 | | BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN | The Power of Non-Ground Rules in Answer Set Programming | Artikel Article | 2016 |
| 8 | | Bliem, Bernhard ; Charwat, Günther ; Hecher, Markus ; Woltran, Stefan | D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy | Artikel Article | 2016 |
| 9 | | Abseher, Michael ; Gebser, Martin ; Musliu, Nysret ; Schaub, Torsten ; Woltran, Stefan | Shift Design with Answer Set Programming | Artikel Article | 2016 |
| 10 | | Arenas, Marcelo ; Gottlob, Georg ; Pieris, Andreas | A Datalog-Based Language for Querying RDF Graphs | Konferenzbeitrag Inproceedings | 2016 |
| 11 | | Gottlob, Georg ; Pieris, Andreas ; Šimkus, Mantas | The Impact of Active Domain Predicates on Guarded Existential Rules | Konferenzbeitrag Inproceedings | 2016 |
| 12 | | Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Counting Answer Sets via Dynamic Programming | Konferenzbeitrag Inproceedings | 2016 |
| 13 | | Bliem, Bernhard ; Ordyniak, Sebastian ; Woltran, Stefan | Clique-Width and Directed Width Measures for Answer-Set Programming | Konferenzbeitrag Inproceedings | 2016 |
| 14 | | Charwat, Günther ; Woltran, Stefan | Dynamic Programming-based QBF Solving | Konferenzbeitrag Inproceedings | 2016 |
| 15 | | Bliem, Bernhard ; Ordyniak, Sebastian ; Woltran, Stefan | Clique-Width and Directed Width Measures for Answer-Set Programming | Konferenzbeitrag Inproceedings | 2016 |
| 16 | | Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel | Winner Determination in Huge Elections with MapReduce | Konferenzbeitrag Inproceedings | 2016 |
| 17 | | Abseher, Michael ; Moldovan, Marius ; Woltran, Stefan | Providing Built-In Counters in a Declarative Dynamic Programming Environment | Konferenzbeitrag Inproceedings | 2016 |
| 18 | | Bliem, Bernhard ; Kaufmann, Benjamin ; Schaub, Torsten ; Woltran, Stefan | ASP for Anytime Dynamic Programming on Tree Decompositions (Extended Abstract) | Konferenzbeitrag Inproceedings | 2016 |
| 19 | | Calautti, Marco ; Gottlob, Georg ; Pieris, Andreas | Chase Termination for Guarded Existential Rules | Konferenzbeitrag Inproceedings | 2015 |
| 20 | | Alviano, Mario ; Pieris, Andreas | Default Negation for Non-Guarded Existential Rules | Konferenzbeitrag Inproceedings | 2015 |
