A controllability test for general first-order representations.

Uwe Helmke Joachim Rosenthal J. M. Schumacher

Published in: Autom. (1997)

Keyphrases

special case
real time
higher order
computer vision
website
closely related
first order logic
data mining
reinforcement learning
artificial neural networks
probabilistic model
knowledge representation
np complete
test data
concept learning