|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Brand, Cornelius ; Ganian, Robert ; Kalyanasundaram, Subrahmanyam ; Mc Inerney, Fionn | The Complexity of Optimizing Atomic Congestion | Inproceedings Konferenzbeitrag | Feb-2024 |
| 2 | | Xia, Hai ; Szeider, Stefan | SAT-Based Tree Decomposition with Iterative Cascading Policy Selection | Inproceedings Konferenzbeitrag  | 2024 |
| 3 | | Pfandler, Andreas ; Sallinger, Emanuel | Distance-Bounded Consistent Query Answering | Konferenzbeitrag Inproceedings | 2015 |
| 4 | | Elkind, Edith ; Lackner, Martin | Structure in Dichotomous Preferences | Konferenzbeitrag Inproceedings | 2015 |
| 5 | | Diller, Martin ; Haret, Adrian ; Linsbichler, Thomas ; Rümmele, Stefan ; Woltran, Stefan | An extension-based approach to belief revision in abstract argumentation | Konferenzbeitrag Inproceedings | 2015 |
| 6 | | Haret, Adrian ; Rümmele, Stefan ; Woltran, Stefan | Merging in the Horn Fragment | Konferenzbeitrag Inproceedings | 2015 |
| 7 | | Dusberger, Frederico ; Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Konferenzbeitrag Inproceedings | 2015 |
| 8 | | Pfandler, Andreas ; Rümmele, Stefan ; Wallner, Johannes Peter ; Woltran, Stefan | On the Parameterized Complexity of Belief Revision | Konferenzbeitrag Inproceedings | 2015 |
| 9 | | de Haan, Ronald ; Kronegger, Martin ; Pfandler, Andreas | Fixed-parameter Tractable Reductions to SAT for Planning | Konferenzbeitrag Inproceedings | 2015 |
| 10 | | Niemelä, Ilkka ; Janhunen, Tomi ; Oetsch, Johannes ; Puehrer, Joerg ; Tompits, Hans | On Testing Answer-Set Programs | Konferenzbeitrag Inproceedings | 2010 |
| 11 | | Heymans, Stijn ; Korf, Roman ; Erdmann, Michael ; Puehrer, Joerg ; Eiter, Thomas | F-Logic#: Loosely Coupling F-Logic Rules and Ontologies | Konferenzbeitrag Inproceedings | 2010 |
| 12 | | Heymans, Stijn ; Eiter, Thomas ; Xiao, Guohui | Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics | Konferenzbeitrag Inproceedings | 2010 |
