|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Creignou, Nadia ; Pichler, Reinhard ; Woltran, Stefan | Do Hard SAT-Related Reasoning Tasks Become Easier in the Krom Fragment? | Konferenzbeitrag Inproceedings  | 2013 |
| 2 | | Brewka, Gerd ; Ellmauthaler, Stefan ; Strass, Hannes ; Wallner, Johannes Peter ; Woltran, Stefan | Abstract Dialectical Frameworks Revisited | Konferenzbeitrag Inproceedings  | 2013 |
| 3 | | Kronegger, Martin ; Pfandler, Andreas ; Pichler, Reinhard | Parameterized Complexity of Optimal Planning: A Detailed Map | Konferenzbeitrag Inproceedings  | 2013 |
| 4 | | Pfandler, Andreas ; Rümmele, Stefan ; Szeider, Stefan | Backdoors to Abduction | Konferenzbeitrag Inproceedings  | 2013 |
| 5 | | Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas ; Xiao, Guohui | Tractable Queries for Lightweight Description Logics | Konferenzbeitrag Inproceedings  | 2013 |
| 6 | | Bienvenu, Meghyn ; Ortiz de la Fuente, M.Magdalena ; Simkus, Mantas | Conjunctive Regular Path Queries in Lightweight Description Logics | Konferenzbeitrag Inproceedings  | 2013 |