Learning invariants using decision trees and implication counterexamples.

Pranav Garg Daniel Neider P. Madhusudan Dan Roth

Published in: POPL (2016)

Keyphrases

decision trees
learning process
knowledge acquisition
machine learning
learning algorithm
learning systems
learning tasks
reinforcement learning
supervised learning
online learning
unsupervised learning
mobile learning
learning problems