Maurice Funk
5 papers · 2019–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
π§ Keyword Pioneer π Interdisciplinary Bridge π£ Hot Topic Early Bird π Cross-Pollinator (15) π Conference Polyglot (2)
π
Academic Marathon
(7)
πΊοΈ
Taxonomy Completionist
(12)
β
The Questioner
Conferences
IJCAI (4)
AAAI (1)
Top co-authors
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