Reconsidering CEGAR: Learning Good Abstractions without Refinement.

Anubhav Gupta Edmund M. Clarke

Published in: ICCD (2005)

Keyphrases

learning systems
learning process
high level
prior knowledge
learning problems
supervised learning
online learning
inductive learning
databases
data mining
learning algorithm
bayesian networks
reinforcement learning
learning tasks
incremental learning
learning scheme