|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Oikarinen, Emilia ; Woltran, Stefan | Characterizing Strong Equivalence for Argumentation Frameworks | Konferenzbeitrag Inproceedings | 2010 |
| 2 | | Dvorak, Wolfgang ; Pichler, Reinhard ; Woltran, Stefan | Towards Fixed-Parameter Tractable Algorithms for Argumentation | Konferenzbeitrag Inproceedings | 2010 |
| 3 | | Pichler, Reinhard ; Rümmele, Stefan ; Szeider, Stefan ; Woltran, Stefan | Tractable Answer-Set Programming with Weight Constraints: Bounded Treewidth Is not Enough | Konferenzbeitrag Inproceedings | 2010 |
| 4 | | Brewka, Gerd ; Woltran, Stefan | Abstract Dialectical Frameworks | Konferenzbeitrag Inproceedings | 2010 |
| 5 | | Faber, Wolfgang ; Woltran, Stefan | Manifold Answer-Set Programs for Meta-reasoning | Konferenzbeitrag Inproceedings  | 2009 |
| 6 | | Pichler, Reinhard ; Rümmele, Stefan ; Woltran, Stefan | Belief Revision with Bounded Treewidth | Konferenzbeitrag Inproceedings | 2009 |
| 7 | | Oetsch, Johannes ; Seidl, Martina ; Tompits, Hans ; Woltran, Stefan | ccT on Stage: Generalised Uniform Equivalence Testing for Verifying Student Assignment Solutions | Konferenzbeitrag Inproceedings | 2009 |
