Matthias Lanzinger
7 papers · 2020–2025 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (4) 🏃 Academic Marathon (5) 🐝 Cross-Pollinator (5)
🌈
Renaissance Researcher
(5)
🗺️
Taxonomy Completionist
(11)
Conferences
IJCAI (3)
ICLR (2)
AAAI (1)
ICML (1)
Top co-authors
Keywords
temporal reasoning
(1)
computational complexity
(1)
complexity analysis
(1)
constraint satisfaction problem
(1)
conjunctive query
(1)
inductive logic programming
(1)
existential rule
(1)
fixed-parameter tractability
(1)
hypertree width
(1)
complexity theory
(1)
fuzzy logic
(1)
rule-based reasoning
(1)
polynomial hierarchy
(1)
horn clause
(1)
guarded clause
(1)
tuple-generating dependencies
(1)
weakly-acyclic program
(1)
lukasiewicz logic
(1)
Papers
Homomorphism Counts as Structural Encodings for Graph Learning
ICLR 2025
On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters
ICLR 2024
Homomorphism Counts for Graph Neural Networks: All About That Basis
ICML 2024
Temporal Datalog with Existential Quantification
IJCAI 2023
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract)
IJCAI 2023
On the Complexity of Inductively Learning Guarded Clauses
AAAI 2022
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
IJCAI 2020