|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | ALVIANO, MARIO ; DODARO, CARMINE ; FICHTE, JOHANNES K. ; HECHER, MARKUS ; PHILIPP, TOBIAS ; RATH, JAKOB | Inconsistency Proofs for ASP: The ASP - DRUPE Format | Konferenzbeitrag Inproceedings  | 2019 |
| 2 | | Charwat, Günther ; Woltran, Stefan | Expansion-based QBF Solving on Tree Decompositions | Artikel Article | 2019 |
| 3 | | Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan | An extension-based approach to belief revision in abstract argumentation | Artikel Article | Feb-2018 |
| 4 | | 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 |
| 5 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | htd - A Free, Open-Source Framework for (Customized) Tree Decompositions and Beyond | Konferenzbeitrag Inproceedings | 2017 |
| 6 | | BICHLER, MANUEL ; MORAK, MICHAEL ; WOLTRAN, STEFAN | The Power of Non-Ground Rules in Answer Set Programming | Artikel Article | 2016 |
| 7 | | FICHTE, JOHANNES K. ; TRUSZCZYŃSKI, MIROSŁAW ; WOLTRAN, STEFAN | Dual-normal logic programs - the forgotten class | Artikel Article | 2015 |
| 8 | | GAGGL, SARAH A. ; MANTHEY, NORBERT ; RONCA, ALESSANDRO ; WALLNER, JOHANNES P. ; WOLTRAN, STEFAN | Improved answer-set programming encodings for abstract argumentation | Artikel Article | 2015 |
| 9 | | Fichte, Johannes K. ; Szeider, Stefan | Backdoors to Normality for Disjunctive Logic Programs | Artikel Article | 2015 |
