Login / Signup

Towards Conflict-Driven Learning for Virtual Substitution.

Konstantin KorovinMarek KostaThomas Sturm
Published in: CASC (2014)
Keyphrases
  • driven learning
  • semi supervised learning
  • knowledge base
  • object recognition
  • inductive logic programming
  • domain theory