Login / Signup
Towards Conflict-Driven Learning for Virtual Substitution.
Konstantin Korovin
Marek Kosta
Thomas Sturm
Published in:
CASC (2014)
Keyphrases
</>
driven learning
semi supervised learning
knowledge base
object recognition
inductive logic programming
domain theory