Learning lemma support graphs in Quip and IC3.

Ryan Berryhill Neil Veira Andreas G. Veneris Zissis Poulos

Published in: IVSW (2017)

Keyphrases

prior knowledge
online learning
active learning
learning process
end users
knn
learning tasks
learning problems
data sets
social networks
knowledge management
knowledge acquisition
unsupervised learning
secondary school
learning spaces