Specification and verification of learning.

Ka-Wing Wong Richard A. McBride

Published in: SAC (1994)

Keyphrases

learning process
learning algorithm
reinforcement learning
learning scenarios
learning scheme
active learning
online learning
knowledge acquisition
learning analytics
incremental learning
learning problems
computer programming
databases
learning systems
unsupervised learning
metadata
machine learning