Carsten Lutz

Venues

Frequent coauthors

Papers

1. Expressive Power of Graph Transformers via Logic
   AAAI 2026 ·

   Veeti Ahvonen

   DBLP profile ↗ORCID search ↗
2. Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
   KR 2026 ·

   Marvin Grosser

   DBLP profile ↗ORCID search ↗
3. Logical Characterizations of GNNs with Mean Aggregation
   AAAI 2026 ·

   Moritz Schönherr

   DBLP profile ↗ORCID search ↗
4. Fitting Description Logic Ontologies to ABox and Query Examples
   KR 2025 ·

   Maurice Funk

   DBLP profile ↗ORCID search ↗
5. Fitting Ontologies and Constraints to Relational Structures
   KR 2025 ·

   Simon Hosemann

   DBLP profile ↗ORCID search ↗
6. Query Repairs
   ICDT 2025 ·

   Balder ten Cate

   DBLP profile ↗ORCID search ↗
7. Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
   KR 2024 · Carsten Lutz
8. Description Logics with Abstraction and Refinement: From ALC to EL
   KR 2024 · Carsten Lutz
9. Logical characterizations of recurrent graph neural networks with reals and floats
   NeurIPS 2024 ·

   Veeti Ahvonen

   DBLP profile ↗ORCID search ↗