GOTTLOB, GEORG
GOTTLOB, GEORG
Dipartimento di Matematica e Informatica
Chase termination for guarded existential rules
2015-01-01 Calautti, M.; Gottlob, G.; Pieris, A.
Combining Semantic Web search with the power of inductive reasoning
2009-01-01 D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T.
Combining semantic web search with the power of inductive reasoning
2010-01-01 D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T.
Complexity Analysis of Generalized and Fractional Hypertree Decompositions
2021-01-01 Gottlob, G.; Lanzinger, M.; Pichler, R.; Razgon, I.
Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice
2022-01-01 Bellomarini, L.; Fayzrakhmanov, R. R.; Gottlob, G.; Kravchenko, A.; Laurenza, E.; Nenov, Y.; Reissfelder, S.; Sallinger, E.; Sherkhonov, E.; Vahdati, S.; Wu, L.
Distributed company control in company shareholding graphs
2021-01-01 Gulino, A.; Ceri, S.; Gottlob, G.; Sallinger, E.; Bellomarini, L.
Dyadic Existential Rules
2022-01-01 Gottlob, G.; Manna, M.; Marte, C.
Dyadic Existential Rules
2023-01-01 Gottlob, G.; Manna, M.; Marte, C.
Fast and parallel decomposition of constraint satisfaction problems
2020-01-01 Gottlob, G.; Okulmus, C.; Pichler, R.
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth
2022-01-01 Gottlob, G.; Lanzinger, M.; Okulmus, C.; Pichler, R.
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth
2024-01-01 Gottlob, G.; Lanzinger, M.; Okulmus, C.; Pichler, R.
Finite Model Reasoning in Hybrid Classes of Existential Rules
2018-01-01 Gottlob, Georg; Manna, Marco; Pieris, Andreas
HyperBench: a benchmark and tool for hypergraphs and empirical findings
2021-01-01 Fischl, Wolfgang; Gottlob, Georg; Longo, Davide Mario; Pichler, Reinhard
HyperBench: A benchmark and tool for hypergraphs and empirical findings
2019-01-01 Fischl, W.; Gottlob, G.; Longo, D. M.; Pichler, R.
Incremental updates of generalized hypertree decompositions
2022-01-01 Gottlob, Georg; Lanzinger, Matthias; Longo, Davide Mario; Okulmus, Cem
Inductive reasoning and semantic web search
2010-01-01 D'Amato, C.; Esposito, F.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T.
Monadic datalog, tree validity, and limited access containment
2020-01-01 Benedikt, M.; Bourhis, P.; Gottlob, G.; Senellart, P.
Multi-head Guarded Existential Rules Over Fixed Signatures
2020-01-01 Gottlob, Georg; Manna, Marco; Pieris, Andreas
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
2022-01-01 Lanzinger, M.; Sferrazza, S.; Gottlob, G.
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)
2023-01-01 Lanzinger, M.; Sferrazza, S.; Gottlob, G.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Chase termination for guarded existential rules | 1-gen-2015 | Calautti, M.; Gottlob, G.; Pieris, A. | |
Combining Semantic Web search with the power of inductive reasoning | 1-gen-2009 | D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T. | |
Combining semantic web search with the power of inductive reasoning | 1-gen-2010 | D'Amato, C.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T. | |
Complexity Analysis of Generalized and Fractional Hypertree Decompositions | 1-gen-2021 | Gottlob, G.; Lanzinger, M.; Pichler, R.; Razgon, I. | |
Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice | 1-gen-2022 | Bellomarini, L.; Fayzrakhmanov, R. R.; Gottlob, G.; Kravchenko, A.; Laurenza, E.; Nenov, Y.; Reissfelder, S.; Sallinger, E.; Sherkhonov, E.; Vahdati, S.; Wu, L. | |
Distributed company control in company shareholding graphs | 1-gen-2021 | Gulino, A.; Ceri, S.; Gottlob, G.; Sallinger, E.; Bellomarini, L. | |
Dyadic Existential Rules | 1-gen-2022 | Gottlob, G.; Manna, M.; Marte, C. | |
Dyadic Existential Rules | 1-gen-2023 | Gottlob, G.; Manna, M.; Marte, C. | |
Fast and parallel decomposition of constraint satisfaction problems | 1-gen-2020 | Gottlob, G.; Okulmus, C.; Pichler, R. | |
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth | 1-gen-2022 | Gottlob, G.; Lanzinger, M.; Okulmus, C.; Pichler, R. | |
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth | 1-gen-2024 | Gottlob, G.; Lanzinger, M.; Okulmus, C.; Pichler, R. | |
Finite Model Reasoning in Hybrid Classes of Existential Rules | 1-gen-2018 | Gottlob, Georg; Manna, Marco; Pieris, Andreas | |
HyperBench: a benchmark and tool for hypergraphs and empirical findings | 1-gen-2021 | Fischl, Wolfgang; Gottlob, Georg; Longo, Davide Mario; Pichler, Reinhard | |
HyperBench: A benchmark and tool for hypergraphs and empirical findings | 1-gen-2019 | Fischl, W.; Gottlob, G.; Longo, D. M.; Pichler, R. | |
Incremental updates of generalized hypertree decompositions | 1-gen-2022 | Gottlob, Georg; Lanzinger, Matthias; Longo, Davide Mario; Okulmus, Cem | |
Inductive reasoning and semantic web search | 1-gen-2010 | D'Amato, C.; Esposito, F.; Fanizzi, N.; Fazzinga, B.; Gottlob, G.; Lukasiewicz, T. | |
Monadic datalog, tree validity, and limited access containment | 1-gen-2020 | Benedikt, M.; Bourhis, P.; Gottlob, G.; Senellart, P. | |
Multi-head Guarded Existential Rules Over Fixed Signatures | 1-gen-2020 | Gottlob, Georg; Manna, Marco; Pieris, Andreas | |
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations | 1-gen-2022 | Lanzinger, M.; Sferrazza, S.; Gottlob, G. | |
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract) | 1-gen-2023 | Lanzinger, M.; Sferrazza, S.; Gottlob, G. |