|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | DynASP2.5: Dynamic Programming on Tree Decompositions in Action | Artikel Article  | 2021 |
| 2 | | Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Structural Decompositions of Epistemic Logic Programs | Konferenzbeitrag Inproceedings | 2020 |
| 3 | | Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Structural Decompositions of Epistemic Logic Programs | Konferenzbeitrag Inproceedings | 2020 |
| 4 | | Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan | The Impact of Treewidth on Grounding and Solving of Answer Set Programs | Artikel Article | 2020 |
| 5 | | Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan | Strong Equivalence for Epistemic Logic Programs Made Easy | Konferenzbeitrag Inproceedings | 2019 |
| 6 | | Bichler, Manuel ; Morak, Michael ; Woltran, Stefan | A Single-Shot Epistemic Logic Program Solver | Konferenzbeitrag Inproceedings | 2018 |
| 7 | | Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Exploiting Treewidth for Projected Model Counting and Its Limits | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Bichler, Manuel ; Morak, Michael ; Woltran, Stefan | Single-Shot Epistemic Logic Program Solving | Konferenzbeitrag Inproceedings | 2018 |
| 9 | | Morak, Michael ; Pieris, Andreas ; Bourhis, Pierre | Making Cross Products and Guarded Ontology Languages Compatible | Konferenzbeitrag Inproceedings | 2017 |
| 10 | | Morak, Michael ; Bichler, Manuel ; Woltran, Stefan | lpopt: A Rule Optimization Tool for Answer Set Programming | Konferenzbeitrag Inproceedings | 2017 |
| 11 | | Pieris, Andreas ; Morak, Michael ; Alviano, Mario | Stable Model Semantics for Tuple-Generating Dependencies Revisited | Konferenzbeitrag Inproceedings | 2017 |
| 12 | | Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan | The Impact of Treewidth on ASP Grounding and Solving | Konferenzbeitrag Inproceedings | 2017 |
| 13 | | Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | DynASP2.5: Dynamic Programming on Tree Decompositions in Action | Konferenzbeitrag Inproceedings | 2017 |
| 14 | | Moldovan, Marius ; Bliem, Bernhard ; Morak, Michael ; Woltran, Stefan ; Bliem, Bernhard | The Impact of Treewidth on {ASP} Grounding and Solving | Konferenzbeitrag Inproceedings | 2017 |
| 15 | | Bichler, Manuel ; Bliem, Bernhard ; Moldovan, Marius ; Morak, Michael ; Woltran, Stefan | Treewidth-Preserving Modeling in ASP | Bericht Report | 2016 |
| 16 | | Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Answer Set Solving using Tree Decompositions and Dynamic Programming -- The DynASP2 System | Bericht Report | 2016 |
| 17 | | Bichler, Manuel ; Morak, Michael ; Woltran, Stefan | lpopt: A Rule Optimization Tool for Answer Set Programming | Konferenzbeitrag Inproceedings | 2016 |
| 18 | | Bourhis, Pierre ; Manna, Marco ; Morak, Michael ; Pieris, Andreas | Guarded-Based Disjunctive Tuple-Generating Dependencies | Artikel Article | 2016 |
| 19 | | BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN | The Power of Non-Ground Rules in Answer Set Programming | Artikel Article | 2016 |
| 20 | | Fichte, Johannes ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan | Counting Answer Sets via Dynamic Programming | Konferenzbeitrag Inproceedings | 2016 |
