An Expressive Extension of TLC.

Jesper G. Henriksen

Published in: ASIAN (1999)

Keyphrases

real time
learning algorithm
computer vision
feature extraction
reinforcement learning
feature space
active learning
first order logic