Matthias Lanzinger
7 papers
· 2020–2025
· 4 conferences
· across top CS/AI conferences
Achievements
🌉
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)