Patrick Koopmann
6 papers
· 2019–2026
· 2 conferences
· across top CS/AI conferences
Achievements
πΊοΈ
Taxonomy Completionist
(11)
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(2)
π
Cross-Pollinator
(5)
π
Academic Marathon
(7)
π
Renaissance Researcher
(6)
π
Conference Pioneer
β
The Questioner
Conferences
AAAI (3)
IJCAI (3)
Top co-authors
Keywords
description logic
(5)
knowledge base
(2)
uniform interpolation
(2)
module extraction
(2)
knowledge representation
(2)
contrastive explanation
(1)
hypothesis generation
(1)
temporal datum
(1)
complex concept
(1)
ontology engineering
(1)
probabilistic datum
(1)
datalog rewriting
(1)
abox abduction
(1)
description logics
(1)
ontology entailment
(1)
role chain axiom
(1)
stream reasoning
(1)
conjunctive queries
(1)
horn logic
(1)
ontology rewriting
(1)