Frank Wolter
21 papers
· 2013–2024
· 3 conferences
· across top CS/AI conferences
Achievements
π£
Hot Topic Early Bird
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Academic Marathon
(11)
π
Cross-Pollinator
(7)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(13)
π€
Dynamic Duo
(14)
π
Keyword Champion
(2)
β‘
Prolific Year
(5)
π
Conference Pioneer
π
Trend Setter
π
Century Club
(21)
π₯
Unstoppable
(7)
β
The Questioner
(2)
Conferences
IJCAI (18)
AAAI (2)
JMLR (1)
Top co-authors
Keywords
description logic
(8)
knowledge representation
(3)
ontology-mediated querying
(3)
linear temporal logic
(3)
ontology-mediated query
(2)
ontology approximation
(2)
horn logic
(2)
conjunctive queries
(2)
query rewriting
(2)
concept learning
(2)
membership query
(1)
conjunctive query
(1)
instance query
(1)
first-order logic
(1)
constraint satisfaction
(1)
temporal datum
(1)
constraint satisfaction problem
(1)
equivalence query
(1)
negative example
(1)
database query
(1)