|
| | Preview | Author(s) | Title | Type | Issue Date |
| 41 | | Fichte, Johannes ; Hecher, Markus ; Woltran, Stefan ; Zisser, Markus | Weighted Model Counting on the GPU by Exploiting Small Treewidth | Konferenzbeitrag Inproceedings  | 2018 |
| 42 | | Bliem, Bernhard | ASP Programs with Groundings of Small Treewidth | Konferenzbeitrag Inproceedings | 2018 |
| 43 | | Bliem, Bernhard ; Woltran, Stefan | Equivalence between answer-set programs under (partially) fixed input | Artikel Article | 2018 |
| 44 | | Dvorak, Wolfgang ; Woltran, Stefan ; Gressler, Alexander | Evaluating SETAFs via Answer-Set Programming | Konferenzbeitrag Inproceedings | 2018 |
| 45 | | Woltran, Stefan ; Schaub, Torsten | Answer set programming unleashed! | Artikel Article | 2018 |
| 46 | | Abseher, Michael ; Hecher, Markus ; Moldovan, Marius ; Woltran, Stefan ; Bliem, Bernhard | Dynamic Programming on Tree Decompositions with {D-FLAT} | Artikel Article | 2018 |
| 47 | | Morak, Michael ; Pieris, Andreas ; Bourhis, Pierre | Making Cross Products and Guarded Ontology Languages Compatible | Konferenzbeitrag Inproceedings | 2017 |
| 48 | | GONÇALVES, RICARDO ; KNORR, MATTHIAS ; LEITE, JOÃO ; WOLTRAN, STEFAN | When you must forget: Beyond strong persistence when forgetting in answer set programming | Artikel Article | 2017 |
| 49 | | Csar, Theresa ; Lackner, Martin ; Pichler, Reinhard ; Sallinger, Emanuel | Computational Social Choice in the Clouds | Konferenzbeitrag Inproceedings | 2017 |
| 50 | | Morak, Michael ; Bichler, Manuel ; Woltran, Stefan | lpopt: A Rule Optimization Tool for Answer Set Programming | Konferenzbeitrag Inproceedings | 2017 |
| 51 | | Pieris, Andreas ; Morak, Michael ; Alviano, Mario | Stable Model Semantics for Tuple-Generating Dependencies Revisited | Konferenzbeitrag Inproceedings | 2017 |
| 52 | | Hecher, Markus | Structure-Driven Answer-Set Solving | Konferenzbeitrag Inproceedings | 2017 |
| 53 | | Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan | The Impact of Treewidth on ASP Grounding and Solving | Konferenzbeitrag Inproceedings | 2017 |
| 54 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond | Konferenzbeitrag Inproceedings | 2017 |
| 55 | | Maly, Jan ; Woltran, Stefan | Ranking Specific Sets of Objects | Artikel Article | 2017 |
| 56 | | Egly, Uwe ; Kronegger, Martin ; Lonsing, Florian ; Pfandler, Andreas | Conformant planning as a case study of incremental QBF solving | Artikel Article | 2017 |
| 57 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Artikel Article | 2017 |
| 58 | | Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | DynASP2.5: Dynamic Programming on Tree Decompositions in Action | Konferenzbeitrag Inproceedings | 2017 |
| 59 | | Fichte, Johannes ; Kronegger, Martin ; Woltran, Stefan | A Multiparametric View on Answer Set Programming | Konferenzbeitrag Inproceedings | 2017 |
| 60 | | Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard | The Impact of Treewidth on {ASP} Grounding and Solving | Konferenzbeitrag Inproceedings | 2017 |
