Renate Schmidt
5 papers · 2018–2026 · 3 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 ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Sprint
๐
Interdisciplinary Bridge ยท Bronze
โ
The Questioner
Top co-authors
Research topics
Keywords
description logic
(4)
concept learning
(2)
pac learning
(2)
knowledge representation
(2)
concept forgetting
(1)
parameterized complexity
(1)
conjunctive query
(1)
query answering
(1)
fixed-parameter tractability
(1)
logical consequence
(1)
ontological reasoning
(1)
ontology engineering
(1)
maximum satisfiability
(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)
Papers
Concept Sketching for Description Logics
UAI 2026
When Can We Learn from Noisy Logical Data? Parameterized Complexity of Approximate Concept Fitting in Description Logics
UAI 2026
A Practical Approach to Forgetting in Description Logics with Nominals
AAAI 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution
AAAI 2020
On Concept Forgetting in Description Logics with Qualified Number Restrictions
IJCAI 2018