Carsten Lutz
24 papers · 2013–2026 · 4 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+9 more ↓ Show less ↑
πΊοΈ Taxonomy Completionist (22) π Academic Marathon Β· Half π Conference Polyglot Β· Bronze π Interdisciplinary Bridge Β· Gold π£ Hot Topic Early Bird
π§
Keyword Pioneer
π
Keyword Champion
(4)
π€
Dynamic Duo
(14)
π
Trend Setter
β
The Questioner
π₯
Unstoppable Β· Silver
π
Century Club Β· Bronze
π
Conference Pioneer
ποΈ
Keyword Collector
(62)
Venues
Top co-authors
Research topics
Machine Learning
(11)
Optimization & Theory
(8)
Artificial Intelligence
(5)
Knowledge & Reasoning
(5)
Mathematics & Optimization
(5)
Core AI
(4)
Learning Types
(4)
Mathematics
(4)
Reasoning
(4)
Representation
(3)
Computer Science
(2)
Deep Learning
(2)
Architectures
(2)
Core Methods
(2)
Learning Paradigms
(2)
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
NeurIPS 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
Exact Learning of Lightweight Description Logic Ontologies
JMLR 2018
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries
IJCAI 2018
From Conjunctive Queries to Instance Queries in Ontology-Mediated Querying
IJCAI 2018
Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying
IJCAI 2018
Ontology-Mediated Querying with the Description Logic EL: Trichotomy and Linear Datalog Rewritability
IJCAI 2017
Query Conservative Extensions in Horn Description Logics with Inverse Roles
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