Maurice Funk
5 papers · 2019–2026 · 2 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 ↓+1 more ↓ Show less ↑
π Conference Polyglot Β· Bronze π Academic Marathon Β· Sprint π Interdisciplinary Bridge Β· Bronze πΊοΈ Taxonomy Completionist (12) π£ Hot Topic Early Bird
β
The Questioner
Top co-authors
Research topics
Keywords
description logic
(4)
concept learning
(3)
membership query
(2)
expressive power
(1)
polynomial time
(1)
transformer network
(1)
sat solver
(1)
conjunctive query
(1)
ontology reasoning
(1)
negative example
(1)
modal logic
(1)
ontological reasoning
(1)
exact learning
(1)
graph neural network
(1)
bounded fitting
(1)
positive example
(1)
active learning
(1)
separating concept
(1)
pac learning
(1)
first-order logic
(1)
Papers
Expressive Power of Graph Transformers via Logic
AAAI 2026
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
Learning Description Logic Concepts: When can Positive and Negative Examples be Separated?
IJCAI 2019