Carsten Lutz

24 papers · 2013–2026 · 4 conferences · across top CS/AI conferences

Achievements

🏃 Academic Marathon (11) 🗺️ Taxonomy Completionist (22) 🌈 Renaissance Researcher (6) 🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (7) 🌍 Conference Polyglot (4) 🤝 Dynamic Duo (14) 🌱 Topic Pioneer 🏆 Keyword Champion (3) 🗃️ Keyword Collector (62) 🚀 Conference Pioneer 📈 Trend Setter ❓ The Questioner 🔥 Unstoppable (10) 💎 Century Club (22)

Conferences

IJCAI (18) AAAI (4) JMLR (1) NIPS (1)

Top co-authors

Frank Wolter (14) Jean Christoph Jung (6) Maurice Funk (5) Inanç Seylan (3) Veeti Ahvonen (2) Peter Hansen (2) Ana Ozaki (2) Antti Kuusisto (2) Meghyn Bienvenu (2) Andre Hernich (2)

Research topics

Discrete Mathematics (1)

Keywords

description logic (13) concept learning (4) conjunctive query (4) graph neural network (3) membership query (3) expressive power (3) modal logic (3) ontology-mediated querying (3) horn logic (3) ontology approximation (2) conjunctive queries (2) exact learning (2) ontology-mediated queries (2) first-order logic (2) knowledge representation (2) automata theory (2) horn description logic (2) ontology learning (1) sat solver (1) query learning (1)

Papers

Expressive Power of Graph Transformers via Logic AAAI 2026

Logical Characterizations of GNNs with Mean Aggregation AAAI 2026

Logical characterizations of recurrent graph neural networks with reals and floats NIPS 2024

Efficient Answer Enumeration in Description Logics with Functional Roles AAAI 2023

SAT-Based PAC Learning of Description Logic Concepts IJCAI 2023

Frontiers and Exact Learning of ELI Queries under DL-Lite Ontologies IJCAI 2022

Actively Learning Concepts and Conjunctive Queries under ELr-Ontologies IJCAI 2021

A Journey into Ontology Approximation: From Non-Horn to Horn IJCAI 2020

Least General Generalizations in Description Logic: Verification and Existence AAAI 2020

Learning Description Logic Concepts: When can Positive and Negative Examples be Separated? IJCAI 2019

Ontology Approximation in Horn Description Logics IJCAI 2019

From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying IJCAI 2018

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries IJCAI 2018

Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying IJCAI 2018

Exact Learning of Lightweight Description Logic Ontologies JMLR 2018

Query Conservative Extensions in Horn Description Logics with Inverse Roles IJCAI 2017

Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability IJCAI 2017

Conservative Rewritability of Description Logic TBoxes IJCAI 2016

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics IJCAI 2016

Efficient Query Rewriting in the Description Logic EL and Beyond IJCAI 2015

Ontology-Mediated Queries with Closed Predicates IJCAI 2015

Schema.org as a Description Logic IJCAI 2015

First-Order Rewritability of Atomic Queries in Horn Description Logics IJCAI 2013

Ontology-Based Data Access with Closed Predicates Is Inherently Intractable (Sometimes) IJCAI 2013