A Probabilistic Learning Approach for Counterexample Guided Abstraction Refinement.

Fei He Xiaoyu Song Ming Gu Jia-Guang Sun

Published in: ATVA (2006)

Keyphrases

learning algorithm
learning process
learning systems
reinforcement learning
online learning
knowledge acquisition
learning tasks
supervised learning
belief networks
data sets
knowledge base
unsupervised learning
inductive inference