Scholar
Carsten Lutz
Google Scholar ID: xcsp66oAAAAJ
Professor of Computer Science, University of Leipzig
Knowledge Representation
Artificial Intelligence
Logic in Computer Science
Theoretical Computer Science
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
3,906
H-index
30
i10-index
92
Publications
20
Co-authors
29
list available
Contact
No contact links provided.
Publications
8 items
Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints
2026
Cited
0
Fitting Description Logic Ontologies to ABox and Query Examples
2025
Cited
0
Fitting Ontologies and Constraints to Relational Structures
2025
Cited
0
Expressive Power of Graph Transformers via Logic
2025
Cited
0
Logical Characterizations of GNNs with Mean Aggregation
2025
Cited
0
Query Repairs
2025
Cited
0
Logical Characterizations of Recurrent Graph Neural Networks with Reals and Floats
Neural Information Processing Systems · 2024
Cited
2
The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems
Logic in Computer Science · 2023
Cited
3
Resume (English only)
Co-authors
29 total
Frank Wolter
Department of Computer Science, University of Liverpool
Franz Baader
Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig
Uli Sattler
Professor, IMG, Department of Computer Science, University of Manchester
Michael Zakharyaschev
Birkbeck, University of London
Jean Christoph Jung
TU Dortmund University
Ian Horrocks
Professor of Computer Science, University of Oxford
Ralf Möller
Professor of Artificial Intelligence in Humanities, University of Hamburg
Boris Konev
Professor of Computer Science, Liverpool University
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up