Carsten Lutz
Scholar

Carsten Lutz

Google Scholar ID: xcsp66oAAAAJ
Professor of Computer Science, University of Leipzig
Knowledge RepresentationArtificial IntelligenceLogic in Computer ScienceTheoretical Computer Science
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
Frank Wolter
Department of Computer Science, University of Liverpool
Franz Baader
Franz Baader
Professor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/Leipzig
Uli Sattler
Uli Sattler
Professor, IMG, Department of Computer Science, University of Manchester
Michael Zakharyaschev
Michael Zakharyaschev
Birkbeck, University of London
Jean Christoph Jung
Jean Christoph Jung
TU Dortmund University
Ian Horrocks
Ian Horrocks
Professor of Computer Science, University of Oxford
Ralf Möller
Ralf Möller
Professor of Artificial Intelligence in Humanities, University of Hamburg
Boris Konev
Boris Konev
Professor of Computer Science, Liverpool University