|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard | Fast and parallel decomposition of constraint satisfaction problems | Article Artikel  | 24-Oct-2022 |
| 2 | | Lanzinger, Matthias ; Sferrazza, Stefano ; Gottlob, Georg | MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations | Article Artikel | 26-Jul-2022 |
| 3 |  | Wang, Yisu Remy ; Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan | Optimizing Recursive Queries with Progam Synthesis | Inproceedings Konferenzbeitrag   | 11-Jun-2022 |
| 4 | | Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan ; Wang, Yisu Remy | Convergence of Datalog over (Pre-) Semirings | Inproceedings Konferenzbeitrag | Jun-2022 |
| 5 | | Khamis, Mahmoud Abo ; Ngo, Hung Q ; Pichler, Reinhard ; Suciu, Dan ; Wang, Yisu Remy | Datalog in Wonderland | Article Artikel | 2022 |
| 6 | | Lanzinger, Matthias ; Sferrazza, Stefano ; Gottlob, Georg | New Perspectives for Fuzzy Datalog (Extended Abstract) | Inproceedings Konferenzbeitrag | 2022 |
| 7 | | Gottlob, Georg ; Lanzinger, Matthias ; Okulmus, Cem ; Pichler, Reinhard | Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth | Inproceedings Konferenzbeitrag | 2022 |
| 8 | | Lanzinger, Matthias | Tractability Beyond ß-Acyclicity for Conjunctive Queries with Negation | Inproceedings Konferenzbeitrag | 20-Jun-2021 |
| 9 | | Fischl, Wolfgang ; Gottlob, Georg ; Longo, Davide Mario ; Pichler, Reinhard | HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings | Artikel Article | 2021 |
| 10 | | Chen, Hubie ; Gottlob, Georg ; Lanzinger, Matthias ; Pichler, Reinhard | Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems | Konferenzbeitrag Inproceedings | 2021 |
| 11 | | Gottlob, Georg ; Okulmus, Cem ; Pichler, Reinhard | Fast and Parallel Decomposition of Constraint Satisfaction Problems | Konferenzbeitrag Inproceedings | 2021 |
| 12 | | Haret, Adrian ; Lackner, Martin ; Pfandler, Andreas ; Wallner, Johannes P. | Proportional Belief Merging | Konferenzbeitrag Inproceedings | 2020 |
| 13 | | Gottlob, Georg ; Lanzinger, Matthias ; Longo, Davide Mario ; Okulmus, Cem ; Pichler, Reinhard | The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions | Konferenzbeitrag Inproceedings | 2020 |
| 14 | | Bliem, Bernhard ; Morak, Michael ; Moldovan, Marius ; Woltran, Stefan | The Impact of Treewidth on Grounding and Solving of Answer Set Programs | Artikel Article | 2020 |
| 15 | | Kröll, Markus ; Carmeli, Nofar | On the Enumeration Complexity of Unions of Conjunctive Queries | Konferenzbeitrag Inproceedings | 2019 |
| 16 | | Skritek, Sebastian | Towards Reconciling Certain Answers and {SPARQL:} Bag Semantics to the Rescue? | Konferenzbeitrag Inproceedings | 2019 |
| 17 | | Kröll, Markus ; Peterfreund, Liat ; Freydenberger, Dominik ; Kimmelfeld, Benny | Complexity Bounds for Relational Algebra over Document Spanners | Konferenzbeitrag Inproceedings | 2019 |
| 18 | | Creignou, Nadia ; Kröll, Markus ; Pichler, Reinhard ; Skritek, Sebastian ; Vollmer, Heribert | A complexity theory for hard enumeration problems | Artikel Article | 2019 |
| 19 | | Mengel, Stefan ; Skritek, Sebastian | Characterizing Tractability of Simple Well-Designed Pattern Trees with Projection | Konferenzbeitrag Inproceedings | 2019 |
| 20 | | Fischl, Wolfgang ; Longo, Davide Mario ; Gottlob, Georg ; Pichler, Reinhard | HyperBench | Konferenzbeitrag Inproceedings | 2019 |
