Carsten Lutz

9 papers at tracked venues · 3 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

KR ×5 AAAI ×2 ICDT ×1 NeurIPS ×1

Frequent coauthors

Veeti Ahvonen

×2

Maurice Funk

×2

Damian Heiman

×2

Antti Kuusisto

×2

Marvin Grosser

×2

Moritz Schönherr

×1

Simon Hosemann

×1

Jean Christoph Jung

×1

Sebastian Rudolph

×1

Balder ten Cate

×1

Phokion G. Kolaitis

×1

Quentin Manière

×1

Papers

Expressive Power of Graph Transformers via Logic
AAAI 2026 ·
Veeti Ahvonen
,
Maurice Funk
,
Damian Heiman
,
Antti Kuusisto
, Carsten Lutz
Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
KR 2026 ·
Marvin Grosser
, Carsten Lutz
Logical Characterizations of GNNs with Mean Aggregation
AAAI 2026 ·
Moritz Schönherr
, Carsten Lutz
Fitting Description Logic Ontologies to ABox and Query Examples
KR 2025 ·
Maurice Funk
,
Marvin Grosser
, Carsten Lutz
Fitting Ontologies and Constraints to Relational Structures
KR 2025 ·
Simon Hosemann
,
Jean Christoph Jung
, Carsten Lutz,
Sebastian Rudolph
Query Repairs
ICDT 2025 ·
Balder ten Cate
,
Phokion G. Kolaitis
, Carsten Lutz
Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
KR 2024 · Carsten Lutz,
Quentin Manière
Description Logics with Abstraction and Refinement: From ALC to EL
KR 2024 · Carsten Lutz,
Lukas Schulze
Logical characterizations of recurrent graph neural networks with reals and floats
NeurIPS 2024 ·
Veeti Ahvonen
,
Damian Heiman
,
Antti Kuusisto
, Carsten Lutz