Learning Discrete Structures Interactively With Alloy: (Abstract Only).

Charles Wallace

Published in: SIGCSE (2018)

Keyphrases

learning process
prior knowledge
learning algorithm
online learning
active learning
database
reinforcement learning
learning systems
incremental learning
information systems
decision trees
case study
feature space
learning tasks
learning problems