| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Woltran, Stefan ; Eiter, Thomas ; Moser, Bernhard ; Dorffner, Georg ; Faber, Wolfgang ; Klambauer, Günther ; Legenstein, Robert ; Nessler, Bernhard ; Polleres, Axel | Österreichische AI Strategie aus Sicht der Wissenschaft | Artikel Article | 2020 |
| 2 | | Faber, Wolfgang ; Morak, Michael ; Woltran, Stefan | Strong Equivalence for Epistemic Logic Programs Made Easy | Konferenzbeitrag Inproceedings  | 2019 |
| 3 | | Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan | Abstract Preference Frameworks - a Unifying Perspective on Separability and Strong Equivalence | Konferenzbeitrag Inproceedings  | 2013 |
| 4 | | Faber, Wolfgang ; Truszczynski, Miroslaw ; Woltran, Stefan ; Brewka, Gerd ; Eiter, Thomas ; McIlraith, Sheila | Strong Equivalence of Qualitative Optimization Problems | Konferenzbeitrag Inproceedings  | 2012 |
| 5 | | Alviano, Mario ; Faber, Wolfgang ; Woltran, Stefan | Complexity of Super-Coherence Problems in ASP | Präsentation Presentation | 2011 |
| 6 | | Faber, Wolfgang ; Woltran, Stefan ; Balduccini, Marcello ; Son, Tran Cao | Manifold Answer-Set Programs and Their Applications | Buchbeitrag Book Contribution | 2011 |
| 7 | | Faber, Wolfgang ; Woltran, Stefan ; De Vos, Marina ; Schaub, Torsten | A Framework for Programming with Module Consequences | Konferenzbeitrag Inproceedings  | 2009 |
| 8 | | Faber, Wolfgang ; Woltran, Stefan ; Erdem, Esra ; Lin, Fangzhen ; Schaub, Torsten | Manifold Answer-Set Programs for Meta-reasoning | Konferenzbeitrag Inproceedings  | 2009 |
| 9 | | Faber, Wolfgang ; Woltran, Stefan ; Herzig, Andreas ; Johnston, Benjamin | Manifold Answer-Set Programs for Meta-Reasoning | Konferenzbeitrag Inproceedings | 2009 |
| 10 | | Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan ; Brewka, Gerd ; Lang, Jérôme | Notions of Strong Equivalence for Logic Programs with Ordered Disjunction | Konferenzbeitrag Inproceedings  | 2008 |
| 11 | | Faber, Wolfgang ; Tompits, Hans ; Woltran, Stefan | Characterizing Notions of Strong Equivalence for Logic Programs with Ordered Disjunctions | Konferenzbeitrag Inproceedings  | 2007 |
| 12 | | Eiter, Thomas ; Faber, Wolfgang ; Fink, Michael ; Woltran, Stefan | Complexity results for answer set programming with bounded predicate arities and implications | Artikel Article | 2007 |