Carsten Lutz
24 papers · 2013–2026 · 4 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+12 more ↓ Show less ↑
π Conference Polyglot (4) π£ Hot Topic Early Bird π Interdisciplinary Bridge π§ Keyword Pioneer π Academic Marathon (11)
π£
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
Research topics
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