Matthias Lanzinger

According to our database, Matthias Lanzinger authored at least 30 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth.

Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler

ACM Trans. Database Syst., March, 2024

Fuzzy Datalog^∃ over Arbitrary t-Norms.

Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob

CoRR, 2024

Homomorphism Counts for Graph Neural Networks: All About That Basis.

Emily Jin, Michael Bronstein, Ismail Ilkan Ceylan, Matthias Lanzinger

CoRR, 2024

FPT Approximation of Generalised Hypertree Width for Bounded Intersection Hypergraphs.

Matthias Lanzinger, Igor Razgon

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023

Fractional covers of hypergraphs with bounded multi-intersection.

Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon

Theor. Comput. Sci., November, 2023

Tractability beyond <i>β</i>-acyclicity for conjunctive queries with negation and SAT.

Matthias Lanzinger

Theor. Comput. Sci., 2023

On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters.

Matthias Lanzinger, Pablo Barceló

CoRR, 2023

Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice.

Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer

CoRR, 2023

The Complexity of Pattern Counting in Directed Graphs, Parameterised by the Outdegree.

Marco Bressan, Matthias Lanzinger, Marc Roth

Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023

Generative Datalog with Stable Negation.

Mario Alviano, Matthias Lanzinger, Michael Morak, Andreas Pieris

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract).

Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Temporal Datalog with Existential Quantification.

Matthias Lanzinger, Markus Nissl, Emanuel Sallinger, Przemyslaw Andrzej Walega

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Reaching Back to Move Forward: Using Old Ideas to Achieve a New Level of Query Optimization (short paper).

Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer

Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023

2022

Incremental Updates of Generalized Hypertree Decompositions.

Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus

ACM J. Exp. Algorithmics, December, 2022

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations.

Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob

Theory Pract. Log. Program., 2022

The Complexity of Conjunctive Queries with Degree 2.

Matthias Lanzinger

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Family Link Detection in Uncertain Settings with MV-Datalog±.

Marta Bernardini, Matthias Lanzinger, Rosario Laurendi, Stefano Sferrazza

Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, 2022

Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract).

Matthias Lanzinger, Przemyslaw Andrzej Walega

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

New Perspectives for Fuzzy Datalog (Extended Abstract).

Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

On the Complexity of Inductively Learning Guarded Clauses.

Andrei Draghici, Georg Gottlob, Matthias Lanzinger

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Complexity Analysis of Generalized and Fractional Hypertree Decompositions.

Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon

J. ACM, 2021

Forbidden Substructures for Tractable Conjunctive Query Answering with Degree 2.

Matthias Lanzinger

CoRR, 2021

On the Complexity of Inductively Learning Guarded Rules.

Andrei Draghici, Georg Gottlob, Matthias Lanzinger

CoRR, 2021

Tractability Beyond ß-Acyclicity for Conjunctive Queries with Negation.

Matthias Lanzinger

Proceedings of the PODS'21: Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2021

2020

Tractability Beyond β-Acyclicity for Conjunctive Queries with Negation.

Matthias Lanzinger

CoRR, 2020

Complexity Analysis of General and Fractional Hypertree Decompositions.

Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon

CoRR, 2020

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems.

Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

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

Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Semantic Width Revisited (Extended Abstract).

Georg Gottlob, Matthias Lanzinger, Reinhard Pichler

Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019

2018

Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems.

Georg Gottlob, Matthias Lanzinger, Reinhard Pichler

CoRR, 2018