Renate Schmidt
3 papers
· 2018–2020
· 2 conferences
· across top CS/AI conferences
Achievements
🌍
Conference Polyglot
(2)
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🐝
Cross-Pollinator
(12)
Conferences
AAAI (2)
IJCAI (1)
Top co-authors
Keywords
description logic
(2)
automated reasoning
(1)
concept forgetting
(1)
conjunctive query
(1)
query answering
(1)
logical consequence
(1)
ontological reasoning
(1)
ontology engineering
(1)
horn fragment
(1)
loosely guarded fragment
(1)
ontology-based query answering
(1)
horn logic
(1)
uniform interpolant
(1)
ackermann lemma
(1)
boolean conjunctive query
(1)
knowledge representation
(1)
deductive forgetting
(1)