Picture for Georg Gottlob

Georg Gottlob

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms

Add code
Mar 05, 2024
Viaarxiv icon

Selective Forgetting: Advancing Machine Unlearning Techniques and Evaluation in Language Models

Add code
Feb 08, 2024
Viaarxiv icon

Incremental Updates of Generalized Hypertree Decompositions

Add code
Sep 21, 2022
Figure 1 for Incremental Updates of Generalized Hypertree Decompositions
Figure 2 for Incremental Updates of Generalized Hypertree Decompositions
Figure 3 for Incremental Updates of Generalized Hypertree Decompositions
Figure 4 for Incremental Updates of Generalized Hypertree Decompositions
Viaarxiv icon

Non-Uniformly Terminating Chase: Size and Complexity

Add code
Apr 26, 2022
Viaarxiv icon

On the Complexity of Inductively Learning Guarded Rules

Add code
Oct 07, 2021
Viaarxiv icon

The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions

Add code
Dec 29, 2020
Figure 1 for The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Figure 2 for The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Figure 3 for The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Figure 4 for The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
Viaarxiv icon

HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings

Add code
Sep 02, 2020
Figure 1 for HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
Viaarxiv icon

The Space-Efficient Core of Vadalog

Add code
Sep 16, 2018
Figure 1 for The Space-Efficient Core of Vadalog
Viaarxiv icon

Datalog: Bag Semantics via Set Semantics

Add code
Jul 25, 2018
Figure 1 for Datalog: Bag Semantics via Set Semantics
Figure 2 for Datalog: Bag Semantics via Set Semantics
Viaarxiv icon

Data Science with Vadalog: Bridging Machine Learning and Reasoning

Add code
Jul 23, 2018
Figure 1 for Data Science with Vadalog: Bridging Machine Learning and Reasoning
Figure 2 for Data Science with Vadalog: Bridging Machine Learning and Reasoning
Figure 3 for Data Science with Vadalog: Bridging Machine Learning and Reasoning
Figure 4 for Data Science with Vadalog: Bridging Machine Learning and Reasoning
Viaarxiv icon